hw03.tex
changeset 30 0e971bd4403d
parent 27 0f05e90b960d
child 31 e22ba348b209
--- 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}