equal
deleted
inserted
replaced
723 : b\meta{A} ::= \meta{A}b\\ |
723 : b\meta{A} ::= \meta{A}b\\ |
724 \end{plstx}}\pause |
724 \end{plstx}}\pause |
725 |
725 |
726 \begin{center} |
726 \begin{center} |
727 \bl{$\meta{S} \rightarrow\ldots\rightarrow^? ababaa$} |
727 \bl{$\meta{S} \rightarrow\ldots\rightarrow^? ababaa$} |
728 \end{center} |
728 \end{center}\pause |
|
729 |
|
730 \begin{center} |
|
731 \tt Time flies like an arrow;\\ |
|
732 fruit flies like bananas. |
|
733 \end{center} |
729 |
734 |
730 \end{frame} |
735 \end{frame} |
731 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
736 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
732 |
737 |
733 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
738 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |