diff -r 3056a4c071b0 -r e7d0157f0471 slides/slides05.tex
--- a/slides/slides05.tex	Fri Oct 07 22:08:03 2016 +0100
+++ b/slides/slides05.tex	Sat Oct 08 13:45:30 2016 +0100
@@ -12,7 +12,7 @@
 \newcommand{\bl}[1]{\textcolor{blue}{#1}}  
 
 % beamer stuff 
-\renewcommand{\slidecaption}{AFL 05, King's College London}
+\renewcommand{\slidecaption}{CFL 05, King's College London}
 
 
 \begin{document}
@@ -22,7 +22,7 @@
 \frametitle{%
   \begin{tabular}{@ {}c@ {}}
   \\[-3mm]
-  \LARGE Automata and \\[-2mm] 
+  \LARGE Compilers and \\[-2mm] 
   \LARGE Formal Languages (5)\\[3mm] 
   \end{tabular}}
 
@@ -48,8 +48,8 @@
 \begin{columns}
 \begin{column}{3cm}
 \begin{tabular}{@{}rrl@{}}
-  \bl{$r$} & \bl{$::=$}  & \bl{$\varnothing$}\\
-           & \bl{$\mid$} & \bl{$\epsilon$}   \\
+  \bl{$r$} & \bl{$::=$}  & \bl{$\ZERO$}\\
+           & \bl{$\mid$} & \bl{$\ONE$}   \\
            & \bl{$\mid$} & \bl{$c$}          \\
            & \bl{$\mid$} & \bl{$r_1 \cdot r_2$}\\
            & \bl{$\mid$} & \bl{$r_1 + r_2$}   \\
@@ -108,9 +108,9 @@
 \small
 \begin{tabular}{ll}
 \bl{$r_1$}: & \bl{$a \cdot (b \cdot c)$}\\
-\bl{$r_2$}: & \bl{$\epsilon \cdot (b \cdot c)$}\\
-\bl{$r_3$}: & \bl{$(\varnothing \cdot (b \cdot c)) + (\epsilon \cdot c)$}\\
-\bl{$r_4$}: & \bl{$(\varnothing \cdot (b \cdot c)) + ((\varnothing \cdot c) + \epsilon)$}\\
+\bl{$r_2$}: & \bl{$\ONE \cdot (b \cdot c)$}\\
+\bl{$r_3$}: & \bl{$(\ZERO \cdot (b \cdot c)) + (\ONE \cdot c)$}\\
+\bl{$r_4$}: & \bl{$(\ZERO \cdot (b \cdot c)) + ((\ZERO \cdot c) + \ONE)$}\\
 \end{tabular}
 \end{bubble}
 \end{textblock}
@@ -179,9 +179,9 @@
 \end{center}
 
 \small
-\hspace{4.5cm}\bl{$(b \cdot c) + (\varnothing + \epsilon)$}
+\hspace{4.5cm}\bl{$(b \cdot c) + (\ZERO + \ONE)$}
 $\mapsto$
-\bl{$(b \cdot c) + \epsilon$}
+\bl{$(b \cdot c) + \ONE$}
 
 \end{frame}
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%  
@@ -193,13 +193,13 @@
 \bl{$\only<1>{(b \cdot c)}%
      \only<2-3>{(\underline{b \cdot c})}%
      \only<1-3>{+}% 
-     \only<1>{(\varnothing + \epsilon)}%
-     \only<2-3>{(\underline{\varnothing + \epsilon})}$}%
+     \only<1>{(\ZERO + \ONE)}%
+     \only<2-3>{(\underline{\ZERO + \ONE})}$}%
 \only<4->{%
-\bl{$\underline{(b \cdot c) + (\varnothing + \epsilon)}$}%
+\bl{$\underline{(b \cdot c) + (\ZERO + \ONE)}$}%
 }
 $\mapsto$
-\bl{$(b \cdot c) + \epsilon$}
+\bl{$(b \cdot c) + \ONE$}
 \end{center}\bigskip
 
 \onslide<3->{%