# HG changeset patch # User Christian Urban # Date 1380930966 -3600 # Node ID 7c7185cb4f2be77a2d43e73f0bbb5143cb11285a # Parent 39c75cf4e0798c9b3db87a87c5db34df7bbd28ef added diff -r 39c75cf4e079 -r 7c7185cb4f2b handouts/ho02.pdf Binary file handouts/ho02.pdf has changed diff -r 39c75cf4e079 -r 7c7185cb4f2b handouts/ho02.tex --- a/handouts/ho02.tex Sat Oct 05 00:36:53 2013 +0100 +++ b/handouts/ho02.tex Sat Oct 05 00:56:06 2013 +0100 @@ -179,7 +179,14 @@ \] \noindent -holds, which means our algorithm satisfies the specification. +holds, which means our algorithm satisfies the specification. This algorithm can be easily +extended for other regular expressions such as $r^{\{n\}}$, $r^?$, $\sim{}r$ and so on. + +\begin{figure}[p] +{\lstset{language=Scala}\texttt{\lstinputlisting{../progs/app5.scala}}} +{\lstset{language=Scala}\texttt{\lstinputlisting{../progs/app6.scala}}} +\caption{Scala implementation of the nullable and derivatives functions.} +\end{figure} \end{document}