Binary file notes/complete_notes.pdf has changed

--- 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}

--- a/notes/tex/grammars.tex	Fri May 16 17:14:03 2014 +0200
+++ b/notes/tex/grammars.tex	Fri May 16 17:34:00 2014 +0200
@@ -476,7 +476,7 @@
     \begin{definition}[Linksrekursive Produktion]
         Man nennt eine Produktion \structure{linksrekursiv}, wenn sie die Form
         \[
-            \structure{A} \to \structure{A}\alpha_1 \mid \dots \mid \structure{A}\alpha_k \mid \beta_i \mid \dots \mid \beta_l \quad \text{mit} \quad \alpha_i, \beta_i \in \left( V \cup \Sigma \right)^+
+            \structure{A} \to \structure{A}\alpha_1 \mid \dots \mid \structure{A}\alpha_k \mid \beta_1 \mid \dots \mid \beta_l \quad \text{mit} \quad \alpha_i, \beta_i \in \left( V \cup \Sigma \right)^+
         \]
         hat, wobei die $\beta_i$ nicht mit $A$ beginnen.
     \end{definition}
@@ -511,7 +511,7 @@
     \vspace{1em}
 
     \only<2> {
-        Benenne alle Nichtterminale \structure{beliebig} um in $A_1, \dots, A_\abs{V}$.
+        Benenne alle Nichtterminale \structure{beliebig} um in $A_1, \dots, A_{\abs{V}}$.
         \begin{align}
             S &\rightarrow Ab, \quad A \rightarrow aAS \mid \epsilon \\
             \intertext{wird zu}
@@ -527,19 +527,19 @@
                 \only<3> {
                     \begin{align}
                         A_1 &\to A_2 \mid a \mid b \\
-                        A_2 &\to \structure{A_1}xA_1
+                        A_2 &\to \structure{A_1}A_1
                         \intertext{wird zu}
                         A_1 &\to a \mid b\\
-                        A_2 &\to \structure{A_2}xA_1 \mid \structure{a}xA_1 \mid \structure{b}xA_1
+                        A_2 &\to \structure{A_2}A_1 \mid \structure{a}A_1 \mid \structure{b}A_1
                     \end{align}
                 }
             \item Entferne danach alle \structure{linksrekursiven} $A_l$-Produktionen.
                 \only<4> {
                     \begin{align}
-                        A_2 &\to A_2\structure{xA_1} \mid \alert{axA_1} \mid \alert{bxA_1}
+                        A_2 &\to A_2\structure{A_1} \mid \alert{aA_1} \mid \alert{bA_1}
                         \intertext{wird zu}
-                        A_2 &\to \alert{axA_1} \mid \alert{bxA_1} \mid \alert{axA_1}A_3 \mid \alert{bxA_1}A_3\\
-                        A_3 &\to \structure{xA_1} \mid \structure{xA_1}A_3
+                        A_2 &\to \alert{aA_1} \mid \alert{bA_1} \mid \alert{aA_1}A_3 \mid \alert{bA_1}A_3\\
+                        A_3 &\to \structure{A_1} \mid \structure{A_1}A_3
                     \end{align}
                 }
         \end{itemize}
@@ -551,10 +551,10 @@
             \item Existieren Produktionen der Form $A_l \to \structure{A_r}\alpha$ mit \alert{$r > l$}, dann setze \structure{$A_r$} in $A_l$ ein.
                 \begin{align}
                         A_1 &\to a \mid b \mid \structure{A_2} \\
-                        A_2 &\to axA_1 \mid bxA_1 \mid axA_1A_3 \mid bxA_1A_3\\
-                        A_3 &\to xA_1 \mid xA_1A_3
+                        A_2 &\to aA_1 \mid bA_1 \mid aA_1A_3 \mid bA_1A_3\\
+                        A_3 &\to bA_3 \mid c
                         \intertext{$A_1$ wird zu}
-                        A_1 &\to a \mid b \mid \structure{axA_1} \mid \structure{bxA_1} \mid \structure{axA_1A_3} \mid \structure{bxA_1A_3}
+                        A_1 &\to a \mid b \mid \structure{aA_1} \mid \structure{bA_1} \mid \structure{aA_1A_3} \mid \structure{bA_1A_3}
                 \end{align}
         \end{itemize}
 

Binary file notes/ue05_notes.pdf has changed