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}