handouts/ho02.tex
changeset 259 e5f4b8ff23b8
parent 258 1e4da6d2490c
child 261 24531cfaa36a
--- a/handouts/ho02.tex	Fri Sep 26 14:06:55 2014 +0100
+++ b/handouts/ho02.tex	Fri Sep 26 14:40:49 2014 +0100
@@ -38,10 +38,10 @@
 \begin{tabular}{@ {}l@ {\hspace{2mm}}c@ {\hspace{2mm}}l@ {}}
 $nullable(\varnothing)$      & $\dn$ & $f\!\/alse$\\
 $nullable(\epsilon)$           & $\dn$ &  $true$\\
-$nullable (c)$                    & $\dn$ &  $f\!alse$\\
-$nullable (r_1 + r_2)$       & $\dn$ &  $nullable(r_1) \vee nullable(r_2)$\\ 
-$nullable (r_1 \cdot r_2)$ & $\dn$ &  $nullable(r_1) \wedge nullable(r_2)$\\
-$nullable (r^*)$                & $\dn$ & $true$ \\
+$nullable(c)$                    & $\dn$ &  $f\!alse$\\
+$nullable(r_1 + r_2)$       & $\dn$ &  $nullable(r_1) \vee nullable(r_2)$\\ 
+$nullable(r_1 \cdot r_2)$ & $\dn$ &  $nullable(r_1) \wedge nullable(r_2)$\\
+$nullable(r^*)$                & $\dn$ & $true$ \\
 \end{tabular}
 \end{center}