changeset 58:aac2480571b8 default tip

rewrite ambiguous slide
author Markus Kaiser <markus.kaiser@in.tum.de>
date Tue, 30 Jul 2013 14:32:43 +0200
parents 3ac958d9b7c4
children
files notes/complete_notes.pdf notes/tex/grammars.tex notes/ue06_notes.pdf
diffstat 3 files changed, 6 insertions(+), 6 deletions(-) [+]
line wrap: on
line diff
Binary file notes/complete_notes.pdf has changed
--- a/notes/tex/grammars.tex	Tue Jul 23 00:51:34 2013 +0200
+++ b/notes/tex/grammars.tex	Tue Jul 30 14:32:43 2013 +0200
@@ -136,9 +136,9 @@
         Sind \alert{$B \rightarrow \epsilon$} und \alert{$A \rightarrow \alpha B \beta$} in $P$, dann füge \alert{$A \rightarrow \alpha \beta$} hinzu. Entferne danach alle $\epsilon$-Produktionen.
         \begin{align*}
             S &\rightarrow Ab, \quad A \rightarrow aAA \mid \epsilon \\
-            \intertext{neu:}
-            S &\rightarrow \alert{b} \\
-            A &\rightarrow \alert{aA \mid a}
+            \intertext{wird zu:}
+            S &\rightarrow \alert{Ab \mid b} \\
+            A &\rightarrow \alert{aAA \mid aA \mid a}
         \end{align*}
     }
 
@@ -146,7 +146,7 @@
         Sind \alert{$A \rightarrow B$} und \alert{$B \rightarrow \alpha$} in $P$, dann füge \alert{$A \rightarrow \alpha$} hinzu. Entferne danach alle Kettenproduktionen und unerreichbaren Symbole.
         \begin{align*}
             S &\rightarrow A, \quad A \rightarrow a \mid B, \quad B \rightarrow bS \\
-            \intertext{neu:}
+            \intertext{wird zu:}
             A &\rightarrow \alert{a \mid bS} \\
             S &\rightarrow \alert{a \mid bS}
         \end{align*}
@@ -156,7 +156,7 @@
         Ersetze jedes \alert{$a \in \Sigma$} in einer rechten Seite \alert{länger als $1$} durch ein neues Nichtterminal.
         \begin{align*}
             S &\rightarrow aa \mid Bb \mid b, \quad B \rightarrow \ldots \\
-            \intertext{neu:}
+            \intertext{wird zu:}
             S &\rightarrow \alert{X_aX_a \mid BX_b \mid b} \\
             X_a &\rightarrow \alert{a}, \quad X_b \rightarrow \alert{b}
         \end{align*}
@@ -166,7 +166,7 @@
         Ersetze jede Produktion der Form $A \rightarrow B_1B_2\ldots B_k$ durch neue Nichtterminale mit Produktionen der Länge $2$.
         \begin{align*}
             S &\rightarrow X_aX_bBX_a, \quad X_a \rightarrow a, \quad X_b \rightarrow b, \quad B \rightarrow \ldots \\
-            \intertext{neu:}
+            \intertext{wird zu:}
             S &\rightarrow \alert{X_aT_1} \\
             T_1 &\rightarrow \alert{X_bT_2}, \quad T_2 \rightarrow \alert{BX_a} \\
         \end{align*}
Binary file notes/ue06_notes.pdf has changed