Mercurial > 14ss.theoinf

comparison notes/tex/grammars.tex @ 24:322b0166cc24

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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
comparison
equal deleted inserted replaced
23:7afd6762980f 24:322b0166cc24
527 \only<3> { 527 \only<3> {
528 \begin{align} 528 \begin{align}
529 A_1 &\to A_2 \mid a \mid b \\ 529 A_1 &\to A_2 \mid a \mid b \\
530 A_2 &\to \structure{A_1}A_1 530 A_2 &\to \structure{A_1}A_1
531 \intertext{wird zu} 531 \intertext{wird zu}
532 A_1 &\to a \mid b\\ 532 A_1 &\to A_2 \mid a \mid b\\
533 A_2 &\to \structure{A_2}A_1 \mid \structure{a}A_1 \mid \structure{b}A_1 533 A_2 &\to \structure{A_2}A_1 \mid \structure{a}A_1 \mid \structure{b}A_1
534 \end{align} 534 \end{align}
535 } 535 }
536 \item Entferne danach alle \structure{linksrekursiven} $A_l$-Produktionen. 536 \item Entferne danach alle \structure{linksrekursiven} $A_l$-Produktionen.
537 \only<4> { 537 \only<4> {
647 \draw[->] (q0) edge node {$a, Z_0/AZ_0$} (q1); 647 \draw[->] (q0) edge node {$a, Z_0/AZ_0$} (q1);
648 \draw[->] (q1) edge node {$\epsilon, A/A$} (q2); 648 \draw[->] (q1) edge node {$\epsilon, A/A$} (q2);
649 649
650 \draw[->] (q1) edge [loop above] node {$a, */A*$} (q1); 650 \draw[->] (q1) edge [loop above] node {$a, */A*$} (q1);
651 651
652 \draw[->] (q2) edge [loop above] node {$b, */\epsilon$} (q2); 652 \draw[->] (q2) edge [loop above] node {$b, A/\epsilon$} (q2);
653 \draw[->] (q2) edge [loop below] node {$\epsilon, Z_0/\epsilon$} (q2);
653 \end{tikzpicture} 654 \end{tikzpicture}
654 \end{example} 655 \end{example}
655 \end{frame} 656 \end{frame}
656 } 657 }
657 658