Binary file hw03.pdf has changed
--- a/hw03.tex Thu Oct 11 10:58:18 2012 +0100
+++ b/hw03.tex Thu Oct 11 11:07:36 2012 +0100
@@ -18,7 +18,8 @@
\end{center}
\item Define the function $zeroable$ which takes a regular expression as argument
-and returns an integer. The function should satisfy the following property:
+and returns a boolean.\footnote{In an earlier version there was an error.} The
+function should satisfy the following property:
\begin{center}
$zeroable(r)$ \;if and only if\; $L(r) = \varnothing$
\end{center}