Mercurial > 14ss.theoinf

diff notes/tex/complete_notes.tex @ 22:334369297f54

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix compilation error; fix errors in gnf construction; start suppliing complete notes
author Markus Kaiser <markus.kaiser@in.tum.de>
date Fri, 16 May 2014 17:34:00 +0200
parents 60757c0ba1f0
children 44fd483bde00
line wrap: on
line diff
--- a/notes/tex/complete_notes.tex	Fri May 16 17:14:03 2014 +0200
+++ b/notes/tex/complete_notes.tex	Fri May 16 17:34:00 2014 +0200
@@ -32,4 +32,22 @@
 \showUnit{aequivalentezustaende}
 \showUnit{unterscheidbarezustaende}
 \showUnit{quotientenautomat}
+
+%ue04
+\showUnit{rpl}
+\showUnit{nuetzlichessymbol}
+\showUnit{cnf}
+\showUnit{cfpl}
+\showUnit{cnfkonstruktion}
+\showUnit{cyk}
+\showUnit{cykbeispiel}
+
+%ue05
+\showUnit{induktivesprachdefinition}
+\showUnit{ogden}
+\showUnit{greibach}
+\showUnit{greibachkonstruktion}
+\showUnit{pda}
+\showUnit{pdaakzeptanz}
+\showUnit{pdabeispiel}
 \end{document}