
diff -r 1aa28135a2da -r e3fd4c5995ef slides/slides03.tex
--- a/slides/slides03.tex	Sat Oct 12 23:39:20 2013 +0100
+++ b/slides/slides03.tex	Tue Oct 15 00:28:51 2013 +0200
@@ -518,8 +518,8 @@
 
 \begin{center}
 \begin{tabular}{l}
-\bl{$\hat{\delta}(q, \texttt{""}) = q$}\\
-\bl{$\hat{\delta}(q, c::s) = \hat{\delta}(\delta(q, c), s)$}\\
+\bl{$\hat{\delta}(q, \texttt{""}) \dn q$}\\
+\bl{$\hat{\delta}(q, c::s) \dn \hat{\delta}(\delta(q, c), s)$}\\
 \end{tabular}
 \end{center}\pause
 
@@ -563,16 +563,30 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 \mode<presentation>{
 \begin{frame}[c]
-\frametitle{An NFA Example}
+\frametitle{Two NFA Examples}
 
 \begin{center}
+\begin{tabular}[t]{c@{\hspace{9mm}}c}
 \begin{tikzpicture}[scale=0.7,>=stealth',very thick,
                              every state/.style={minimum size=0pt,draw=blue!50,very thick,fill=blue!20},]
 \node[state,initial]  (q_0)  {$q_0$};
\node[state] (q_1) [above=of q_0] {$q_1$};
\node[state, accepting] (q_2) [below=of q_0] {$q_2$};
 \path[->] (q_0) edge node [left]  {\alert{$\epsilon$}} (q_1);
\path[->] (q_0) edge node [left]  {\alert{$\epsilon$}} (q_2);
 \path[->] (q_0) edge [loop right] node  {\alert{$a$}} ();
\path[->] (q_1) edge [loop above] node  {\alert{$a$}} ();
 \path[->] (q_2) edge [loop below] node  {\alert{$b$}} ();
-\end{tikzpicture}
+\end{tikzpicture} &
+
+\raisebox{20mm}{
+\begin{tikzpicture}[scale=0.7,>=stealth',very thick,
+                             every state/.style={minimum size=0pt,draw=blue!50,very thick,fill=blue!20},]
+\node[state,initial]  (r_1)  {$r_1$};
+\node[state] (r_2) [above=of r_1] {$r_2$};
+\node[state, accepting] (r_3) [right=of r_1] {$r_3$};
+\path[->] (r_1) edge node [below]  {\alert{$b$}} (r_3);
+\path[->] (r_2) edge [bend left] node [above]  {\alert{$a$}} (r_3);
+\path[->] (r_1) edge [bend left] node  [left] {\alert{$\epsilon$}} (r_2);
+\path[->] (r_2) edge [bend left] node  [right] {\alert{$a$}} (r_1);
+\end{tikzpicture}}
+\end{tabular}
 \end{center}
 
 
@@ -644,7 +658,7 @@
 \only<1>{\node [yshift=2mm] at (1.north) {\bl{$r_1$}};}
 \only<1>{\node [yshift=2mm] at (2.north) {\bl{$r_2$}};}
 \only<2>{\node [yshift=2mm] at (3.north) {\bl{$r_1\cdot r_2$}};}
-\end{pgfonlayer}
+\end{pgfonlayer}
 \end{tikzpicture}}\bigskip\bigskip
 
 \small




