# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1351047613 -3600
# Node ID a97a6de47c289b7d014286bc78528b1bdc2ad56d
# Parent  70dbd83d849c25a320208a13bf07f4e646b15c03
tuned

diff -r 70dbd83d849c -r a97a6de47c28 slides05.pdf
Binary file slides05.pdf has changed
diff -r 70dbd83d849c -r a97a6de47c28 slides05.tex
--- a/slides05.tex	Wed Oct 24 03:42:09 2012 +0100
+++ b/slides05.tex	Wed Oct 24 04:00:13 2012 +0100
@@ -410,6 +410,22 @@
 \end{frame}}
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
 
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\mode<presentation>{
+\begin{frame}[c]
+\frametitle{\begin{tabular}{c}Algorithms on Automata\end{tabular}}
+
+
+\begin{itemize}
+\item Reg $\rightarrow$ NFA: Thompson-McNaughton-Yamada method\medskip
+\item NFA $\rightarrow$ DFA: Subset Construction\medskip
+\item DFA $\rightarrow$ Reg: Brzozowski's Algebraic Method\medskip
+\item DFA minimisation: Hopcrofts Algorithm\medskip
+\item complement DFA
+\end{itemize}
+
+\end{frame}}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
 
 \end{document}