handouts/ho01.tex
changeset 363 0d6deecdb2eb
parent 334 fd89a63e9db3
child 395 e57d3d92b856
--- a/handouts/ho01.tex	Fri Oct 23 14:45:57 2015 +0100
+++ b/handouts/ho01.tex	Sat Oct 31 11:16:52 2015 +0000
@@ -384,9 +384,9 @@
 
 \begin{center}
 \begin{tabular}{rcl}
-$L(\varnothing)$  & $\dn$ & $\varnothing$\\
+$L(\varnothing)$  & $\dn$ & $\{\}$\\
 $L(\epsilon)$     & $\dn$ & $\{[]\}$\\
-$L(c)$            & $\dn$ & $\{"c"\}$\\
+$L(c)$            & $\dn$ & $\{[c]\}$\\
 $L(r_1+ r_2)$     & $\dn$ & $L(r_1) \cup L(r_2)$\\
 $L(r_1 \cdot r_2)$ & $\dn$ & $L(r_1) \,@\, L(r_2)$\\
 $L(r^*)$           & $\dn$ & $(L(r))^*$\\