Mercurial > 14ss.theoinf

comparison 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
comparison
equal deleted inserted replaced
21:6a3cdddedcf7 22:334369297f54
30 \showUnit{rezuenfa} 30 \showUnit{rezuenfa}
31 \showUnit{enfazunfa} 31 \showUnit{enfazunfa}
32 \showUnit{aequivalentezustaende} 32 \showUnit{aequivalentezustaende}
33 \showUnit{unterscheidbarezustaende} 33 \showUnit{unterscheidbarezustaende}
34 \showUnit{quotientenautomat} 34 \showUnit{quotientenautomat}
35
36 %ue04
37 \showUnit{rpl}
38 \showUnit{nuetzlichessymbol}
39 \showUnit{cnf}
40 \showUnit{cfpl}
41 \showUnit{cnfkonstruktion}
42 \showUnit{cyk}
43 \showUnit{cykbeispiel}
44
45 %ue05
46 \showUnit{induktivesprachdefinition}
47 \showUnit{ogden}
48 \showUnit{greibach}
49 \showUnit{greibachkonstruktion}
50 \showUnit{pda}
51 \showUnit{pdaakzeptanz}
52 \showUnit{pdabeispiel}
35 \end{document} 53 \end{document}