afl-material: comparison cws/cw01.tex

equal deleted inserted replaced

-:c7e944977e39
+:68b1a84efce6
 classes for
 the extended regular expressions.\footnote{Please call them
 \code{RANGE}, \code{PLUS}, \code{OPTIONAL}, \code{INTER}, \code{NTIMES},
 \code{UPTO}, \code{FROM} and \code{BETWEEN}.}
 That means do not treat the extended regular expressions
-by just translating them into the basic ones. See also Question 1,
+by just translating them into the basic ones. See also Task 1,
 where you are asked to explicitly give the rules for \textit{nullable}
 and \textit{der} for the extended regular expressions. Something like
 \[der\,c\,(r^+) \dn der\,c\,(r\cdot r^*)\]
-\noindent is \emph{not} allowed as answer in Question 1 and \emph{not}
+\noindent is \emph{not} allowed as answer in Task 1 and \emph{not}
 allowed in your code.\medskip
 \noindent
 The meanings of the extended regular expressions are
 means in effect ``all the strings that $r$ cannot match''.\medskip
 \noindent
 Be careful that your implementation of \textit{nullable} and
 \textit{der} satisfies for every regular expression $r$ the following
-two properties (see also Question 1):
+two properties (see also Task 1):
 \begin{itemize}
 \item $\textit{nullable}(r)$ if and only if $[]\in L(r)$
 \item $L(der\,c\,r) = Der\,c\,(L(r))$
 \end{itemize}
 %Can you please also list all programming languages in which you have
 %already written programs (include only instances where you have spent
 %at least a good working day fiddling with a program)?  This is just
 %for my curiosity to estimate what your background is.
-\subsection*{Question 1}
+\subsection*{Task 1}
 From the lectures you have seen the definitions for the functions
 \textit{nullable} and \textit{der} for the basic regular
 expressions. Implement and \underline{write down} the rules for the
 extended regular expressions (see questionaire at the end).
 \noindent
 Does your matcher produce the expected results? Make sure you
 also test corner-cases, like $a^{\{0\}}$!
-\subsection*{Question 2}
+\subsection*{Task 2}
 As you can see, there are a number of explicit regular expressions
 that deal with single or several characters, for example:
 \begin{center}
 \end{tabular}
 \end{center}
 \noindent
 You can either add the constructor $CFUN$ to your implementation in
-Question 3, or you can implement this questions first
+Task 3, or you can implement this questions first
-and then use $CFUN$ instead of \code{RANGE} and \code{CHAR} in Question 3.
+and then use $CFUN$ instead of \code{RANGE} and \code{CHAR} in Task 3.
 In an ideal world one would do this task first, but this might confuse
 you with what you need to do in the previous question.
-\subsection*{Question 3}
+\subsection*{Task 3}
 Suppose $[a\mbox{-}z0\mbox{-}9\_\,.\mbox{-}]$ stands for the regular expression
 \[[a,b,c,\ldots,z,0,\dots,9,\_,.,\mbox{-}]\;.\]
 notation using parentheses where necessary. That means you
 should use the infix notation $+$, $\cdot$, $^*$ and so on,
 instead of raw code.\bigskip
-\subsection*{Question 4}
+\subsection*{Task 4}
 Implement the simplification rules in your regular expression matcher.
 Consider the regular expression $/ \cdot * \cdot
 (\sim{}(\textit{ALL}^* \cdot * \cdot / \cdot \textit{ALL}^*)) \cdot *
 \cdot /$ and decide whether the following four strings are matched by
 \item \texttt{"/*foobar*/"}
 \item \texttt{"/*test*/test*/"}
 \item \texttt{"/*test/*test*/"}
 \end{enumerate}
-\subsection*{Question 5}
+\subsection*{Task 5}
 Let $r_1$ be the regular expression $a\cdot a\cdot a$ and $r_2$ be
 $(a^{\{19,19\}}) \cdot (a^?)$.\medskip
 \noindent
 \noindent
 \uline{\hfill}\bigskip\bigskip
 \noindent
-\textbf{Question 1:}
+\textbf{Task 1:}
 \begin{center}
 \def\arraystretch{1.6}
 \begin{tabular}{@ {}l@ {\hspace{2mm}}c@ {\hspace{2mm}}l@ {}}
 $\textit{nullable}([c_1,c_2,\ldots,c_n])$  & $\dn$ & \uline{\hspace{8cm}}\\
 \end{tabular}
 \end{center}\bigskip
 \noindent
-\textbf{Question 2:}
+\textbf{Task 2:}
 \begin{center}
 \def\arraystretch{1.6}
 \begin{tabular}{@ {}r@ {\hspace{2mm}}c@ {\hspace{2mm}}l@ {}}
 $\textit{nullable}(CFUN(f))$  & $\dn$ & \uline{\hspace{8cm}}\\
 \end{center}
 \newpage
 \noindent
-\textbf{Question 3 (`mathematical' notation):}
+\textbf{Task 3 (`mathematical' notation):}
 \noindent
 \uline{\hfill}\medskip
 \noindent
 \noindent
 \uline{\hfill}\bigskip\bigskip
 \noindent
-\textbf{Question 4:}\medskip
+\textbf{Task 4:}\medskip
 \noindent
 \textbf{1)}\; Yes / No\qquad
 \textbf{2)}\; Yes / No\qquad
 \textbf{3)}\; Yes / No\qquad
 \textbf{4)}\; Yes / No\bigskip\bigskip
 \noindent
-\textbf{Question 5:}\medskip
+\textbf{Task 5:}\medskip
 \def\arraystretch{1.5}
 \begin{tabular}{l|c|c}
 & $\quad{}r_1\quad$ & $\quad{}r_2\quad$\\\hline
 1. & & \\\hline

changeset 986	68b1a84efce6
parent 985	c7e944977e39