# HG changeset patch # User Christian Urban # 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{ +\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}