Mercurial > 14ss.theoinf

diff notes/tex/ue05_notes.tex @ 21:6a3cdddedcf7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fifth sheet and notes
author Markus Kaiser <markus.kaiser@in.tum.de>
date Fri, 16 May 2014 17:14:03 +0200
parents 1359f5a6aa60
children
line wrap: on
line diff
--- a/notes/tex/ue05_notes.tex	Wed May 14 21:58:31 2014 +0200
+++ b/notes/tex/ue05_notes.tex	Fri May 16 17:14:03 2014 +0200
@@ -10,6 +10,7 @@
 \showUnit{induktivesprachdefinition}
 \showUnit{ogden}
 \showUnit{greibach}
+\showUnit{greibachkonstruktion}
 \showUnit{pda}
 \showUnit{pdaakzeptanz}
 \showUnit{pdabeispiel}