tuned
authorChristian Urban <urbanc@in.tum.de>
Wed, 24 Oct 2012 04:00:13 +0100
changeset 46 a97a6de47c28
parent 45 70dbd83d849c
child 47 9eefb4d96a19
tuned
slides05.pdf
slides05.tex
Binary file slides05.pdf has changed
--- 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}