# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1443735600 -3600
# Node ID 7c80b9b6f713967cd3a1fc82dd9cba156022bce2
# Parent  2d112a7b29eba326eea241e5bdfd5354dbca626c
updated

diff -r 2d112a7b29eb -r 7c80b9b6f713 slides/slides02.pdf
Binary file slides/slides02.pdf has changed
diff -r 2d112a7b29eb -r 7c80b9b6f713 slides/slides02.tex
--- a/slides/slides02.tex	Thu Oct 01 22:10:00 2015 +0100
+++ b/slides/slides02.tex	Thu Oct 01 22:40:00 2015 +0100
@@ -165,6 +165,29 @@
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 \begin{frame}[c]
+\frametitle{Homework Question}
+
+\begin{itemize}
+\item Say \bl{$A = \{[a],[b],[c],[d]\}$}.\bigskip
+
+\begin{center}
+How many strings are in \bl{$A^4$}?
+\end{center}\bigskip\medskip\pause
+
+
+\begin{center}
+\begin{tabular}{l}
+What if \bl{$A = \{[a],[b],[c],[]\}$};\\ 
+how many strings are then in \bl{$A^4$}?
+\end{tabular}
+\end{center}
+\end{itemize}  
+
+\end{frame}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\begin{frame}[c]
 \frametitle{The Star Operation}
 
 \begin{itemize}
@@ -238,9 +261,8 @@
          & \bl{$\mid$} & \bl{$r_1 + r_2$}      & alternative / choice\\
          & \bl{$\mid$} & \bl{$r^*$}            & star (zero or more)\\
   \end{tabular}
-  \end{textblock}
+\end{textblock}
   
-
 \end{frame}
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
 
@@ -261,7 +283,8 @@
 \end{textblock}
 
 \begin{textblock}{6}(9,12)\small
-\bl{$L$} is a function from regular expressions to sets of strings\\
+\bl{$L$} is a function from regular expressions to 
+sets of strings\\
 \bl{$L$ : Rexp $\Rightarrow$ Set$[$String$]$}
 \end{textblock}
 
@@ -294,7 +317,7 @@
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 \begin{frame}[t]
-\frametitle{\begin{tabular}{c}Concrete Equivalences\end{tabular}}
+\frametitle{Concrete Equivalences}
 
 \begin{center}
 \bl{\begin{tabular}{rcl}
@@ -313,7 +336,7 @@
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 \begin{frame}[t]
-\frametitle{\begin{tabular}{c}Corner Cases\end{tabular}}
+\frametitle{Corner Cases}
 
 \begin{center}
 \bl{\begin{tabular}{rcl}
@@ -330,7 +353,7 @@
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 \begin{frame}[t]
-\frametitle{\begin{tabular}{c}Simplification Rules\end{tabular}}
+\frametitle{Simplification Rules}
 
 \begin{center}
 \bl{\begin{tabular}{rcl}