# HG changeset patch # User Christian Urban # Date 1349950056 -3600 # Node ID 0e971bd4403db586966c4b6fadf258814e4dff47 # Parent 774007c4b1b337cf06a3cb9dc6b5f60c66020cce typ diff -r 774007c4b1b3 -r 0e971bd4403d hw03.pdf Binary file hw03.pdf has changed diff -r 774007c4b1b3 -r 0e971bd4403d hw03.tex --- 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}