changeset 24:322b0166cc24

fix errors in GNF and pda
author Markus Kaiser <markus.kaiser@in.tum.de>
date Thu, 22 May 2014 12:41:35 +0200
parents 7afd6762980f
children 44fd483bde00
files notes/complete_notes.pdf notes/tex/grammars.tex notes/ue05_notes.pdf
diffstat 3 files changed, 3 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
Binary file notes/complete_notes.pdf has changed
--- a/notes/tex/grammars.tex	Tue May 20 01:31:40 2014 +0200
+++ b/notes/tex/grammars.tex	Thu May 22 12:41:35 2014 +0200
@@ -529,7 +529,7 @@
                         A_1 &\to A_2 \mid a \mid b \\
                         A_2 &\to \structure{A_1}A_1
                         \intertext{wird zu}
-                        A_1 &\to a \mid b\\
+                        A_1 &\to A_2 \mid a \mid b\\
                         A_2 &\to \structure{A_2}A_1 \mid \structure{a}A_1 \mid \structure{b}A_1
                     \end{align}
                 }
@@ -649,7 +649,8 @@
 
             \draw[->] (q1) edge [loop above] node {$a, */A*$} (q1);
 
-            \draw[->] (q2) edge [loop above] node {$b, */\epsilon$} (q2);
+            \draw[->] (q2) edge [loop above] node {$b, A/\epsilon$} (q2);
+            \draw[->] (q2) edge [loop below] node {$\epsilon, Z_0/\epsilon$} (q2);
         \end{tikzpicture}
     \end{example}
 \end{frame}
Binary file notes/ue05_notes.pdf has changed