Mercurial > 13ss.theoinf
view notes/tex/ue06_notes.tex @ 44:15351d87ce76
transition notes
author | Markus Kaiser <markus.kaiser@in.tum.de> |
---|---|
date | Thu, 11 Jul 2013 22:06:26 +0200 |
parents | 90ffda7e20c7 |
children |
line wrap: on
line source
\input{preamble.tex} \input{frames.tex} \title{Übung 6: CNF und CFL-Pumping Lemma} \subtitle{Theoretische Informatik Sommersemester 2013} \author{\href{mailto:markus.kaiser@in.tum.de}{Markus Kaiser}} \begin{document} \showUnit{titel} \showUnit{cnf} \showUnit{cnfkonstruktion} \showUnit{nuetzlichessymbol} \showUnit{cfpl} \end{document}