diff -r e3fd4c5995ef -r 0cb61bed557d slides/slides04.tex --- a/slides/slides04.tex Tue Oct 15 00:28:51 2013 +0200 +++ b/slides/slides04.tex Tue Oct 15 22:14:04 2013 +0100 @@ -103,6 +103,29 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \mode{ +\begin{frame}[c] +\frametitle{Regexps and Automata} + +\begin{center} +\begin{tikzpicture} +\node (rexp) {\bl{\bf Regexps}}; +\node (nfa) [right=of rexp] {\bl{\bf NFAs}}; +\node (dfa) [right=of nfa] {\bl{\bf DFAs}}; +\onslide<3->{\node (mdfa) [right=of dfa] {\bl{\bf \begin{tabular}{c}minimal\\ DFAs\end{tabular}}};} +\path[->, red, line width=2mm] (rexp) edge node [above=4mm, black] {\begin{tabular}{c@{\hspace{9mm}}}Thompson's\\[-1mm] construction\end{tabular}} (nfa); +\path[->, red, line width=2mm] (nfa) edge node [above=4mm, black] {\begin{tabular}{c}subset\\[-1mm] construction\end{tabular}}(dfa); +\onslide<3->{\path[->, red, line width=2mm] (dfa) edge node [below=9mm, black] {minimisation} (mdfa);} +\onslide<2->{\path[->, red, line width=2mm] (dfa) edge [bend left=45] (rexp);} +\end{tikzpicture}\\ +\end{center} + +\end{frame}} +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + + + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +\mode{ \begin{frame}<1-2>[c] \begin{center}