coursework/cw01.tex
changeset 272 1446bc47a294
parent 260 65d1ea0e989f
child 275 618c7640cf66
--- a/coursework/cw01.tex	Sat Oct 11 13:54:18 2014 +0100
+++ b/coursework/cw01.tex	Sun Oct 12 19:39:55 2014 +0100
@@ -123,13 +123,14 @@
 rules:
 
 \begin{center}
-\begin{tabular}{l@{\hspace{2mm}}c@{\hspace{2mm}}l}
+\begin{tabular}{l@{\hspace{2mm}}c@{\hspace{2mm}}ll}
 $r \cdot \varnothing$ & $\mapsto$ & $\varnothing$\\ 
 $\varnothing \cdot r$ & $\mapsto$ & $\varnothing$\\ 
 $r \cdot \epsilon$ & $\mapsto$ & $r$\\ 
 $\epsilon \cdot r$ & $\mapsto$ & $r$\\ 
 $r + \varnothing$ & $\mapsto$ & $r$\\ 
 $\varnothing + r$ & $\mapsto$ & $r$\\ 
+$r + r$ & $\mapsto$ & $r$ & (added on 12 October)\\ 
 \end{tabular}
 \end{center}