afl-material: comparison cws/cw01.tex

equal deleted inserted replaced

-:94f5cce73a4f
+:4189cb63e5db
 %TEST
 \begin{document}
 \newcolumntype{C}[1]{>{\centering}m{#1}}
-\section*{Coursework 1}
+\section*{Coursework 1 (Update for 2024: CW is OPTIONAL but recommended)}
-This coursework is worth 5\% and is due on \cwONE{} at 16:00. You are
+%You are asked to implement a regular expression matcher and submit a
-asked to implement a regular expression matcher and submit a document
+%document containing the answers for the questions below. You can do
-containing the answers for the questions below. You can do the
+%the implementation in any programming language you like, but you need
-implementation in any programming language you like, but you need to
+%to submit the source code with which you answered the questions,
-submit the source code with which you answered the questions,
+%otherwise a mark of 0\% will be awarded. You need to submit your
-otherwise a mark of 0\% will be awarded. You need to submit your written
+%written answers as pdf---see attached questionaire.  Code send as
-answers as pdf---see attached questionaire.  Code send as code. If you use
+%code. If you use Scala in your code, a good place to start is the file
-Scala in your code, a good place to start is the file \texttt{re3.sc}
+%\texttt{re3.sc} that is uploaded to Github.
-that is uploaded to Github.
 %Please package everything
 %inside a zip-file that creates a directory with the name
 %\[\texttt{YournameYourfamilyname}\]
 %
 %\noindent on my end. Thanks!
-\subsubsection*{Disclaimer\alert}
+%\subsubsection*{Disclaimer\alert}
-It should be understood that the work you submit represents
+%It should be understood that the work you submit represents
-your \textbf{own} effort. You have not copied from anyone else
+%your \textbf{own} effort. You have not copied from anyone else
-including CoPilot, ChatGPT \& Co. An
+%including CoPilot, ChatGPT \& Co. An
-exception is the Scala code I showed during the lectures or
+%exception is the Scala code I showed during the lectures or
-uploaded to KEATS, which you can freely use. Do not
+%uploaded to KEATS, which you can freely use. Do not
-be tempted to ask Github Copilot for help or do any other
+%be tempted to ask Github Copilot for help or do any other
-shenanigans like this!\bigskip
+%shenanigans like this!\bigskip
-\noindent
+%\noindent
-If you have any questions, please send me an email in \textbf{good}
+%If you have any questions, please send me an email in \textbf{good}
-time!\bigskip
+%time!\bigskip
 \subsection*{Task}
 The task is to implement a regular expression matcher based on
 derivatives of regular expressions. The implementation should
 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 3,
+by just translating them into the basic ones. See also Question 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 3 and \emph{not}
+\noindent is \emph{not} allowed as answer in Question 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 3):
+two properties (see also Question 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}
-\subsection*{Question 1 (Unmarked)}
+%\subsection*{Question 1 (Unmarked)}
+%
-What is your King's email address (you will need it in
+%What is your King's email address (you will need it in
-Question 5)? Also, could you please let me know whether you are
+%Question 5)? Also, could you please let me know whether you are
-a BSc / MSci and the year you are in (in case of MSci). Thanks!
+%a BSc / MSci and the year you are in (in case of MSci). Thanks!
-\subsection*{Question 2 (Unmarked)}
+%\subsection*{Question 2 (Unmarked)}
+%
-Can you please also list all programming languages in which you have
+%Can you please also list all programming languages in which you have
-already written programs (include only instances where you have spent
+%already written programs (include only instances where you have spent
-at least a good working day fiddling with a program)?  This is just
+%at least a good working day fiddling with a program)?  This is just
-for my curiosity to estimate what your background is.
+%for my curiosity to estimate what your background is.
-\subsection*{Question 3}
+\subsection*{Question 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 4}
+\subsection*{Question 2}
 As you can see, there are a number of explicit regular expressions
 that deal with single or several characters, for example:
 \begin{center}
 Question 3, or you can implement this questions first
 and then use $CFUN$ instead of \code{RANGE} and \code{CHAR} in Question 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 5}
+\subsection*{Question 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 6}
+\subsection*{Question 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 7}
+\subsection*{Question 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 3:}
+\textbf{Question 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 4:}
+\textbf{Question 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 5 (`mathematical' notation):}
+\textbf{Question 3 (`mathematical' notation):}
 \noindent
 \uline{\hfill}\medskip
 \noindent
 \noindent
 \uline{\hfill}\bigskip\bigskip
 \noindent
-\textbf{Question 6:}\medskip
+\textbf{Question 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 7:}\medskip
+\textbf{Question 5:}\medskip
 \def\arraystretch{1.5}
 \begin{tabular}{l|c|c}
 & $\quad{}r_1\quad$ & $\quad{}r_2\quad$\\\hline
 1. & & \\\hline

changeset 966	4189cb63e5db
parent 938	91c20364402b