equal
deleted
inserted
replaced
408 } |
408 } |
409 |
409 |
410 \end{frame}} |
410 \end{frame}} |
411 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
411 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
412 |
412 |
|
413 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
414 \mode<presentation>{ |
|
415 \begin{frame}[c] |
|
416 \frametitle{\begin{tabular}{c}Algorithms on Automata\end{tabular}} |
|
417 |
|
418 |
|
419 \begin{itemize} |
|
420 \item Reg $\rightarrow$ NFA: Thompson-McNaughton-Yamada method\medskip |
|
421 \item NFA $\rightarrow$ DFA: Subset Construction\medskip |
|
422 \item DFA $\rightarrow$ Reg: Brzozowski's Algebraic Method\medskip |
|
423 \item DFA minimisation: Hopcrofts Algorithm\medskip |
|
424 \item complement DFA |
|
425 \end{itemize} |
|
426 |
|
427 \end{frame}} |
|
428 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
413 |
429 |
414 \end{document} |
430 \end{document} |
415 |
431 |
416 %%% Local Variables: |
432 %%% Local Variables: |
417 %%% mode: latex |
433 %%% mode: latex |