equal
deleted
inserted
replaced
752 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
752 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
753 \begin{frame}[t] |
753 \begin{frame}[t] |
754 \frametitle{Parse Trees} |
754 \frametitle{Parse Trees} |
755 \mbox{}\\[-12mm] |
755 \mbox{}\\[-12mm] |
756 |
756 |
757 \bl{\begin{plstx}: \meta{E} ::= \meta{F} | \meta{T} \cdot + \cdot \meta{E} | \meta{T} \cdot - \cdot \meta{E}\\ |
757 \bl{\begin{plstx}: \meta{E} ::= \meta{T} | \meta{T} \cdot + \cdot \meta{E} | \meta{T} \cdot - \cdot \meta{E}\\ |
758 : \meta{T} ::= \meta{F} | \meta{F} \cdot * \cdot \meta{T}\\ |
758 : \meta{T} ::= \meta{F} | \meta{F} \cdot * \cdot \meta{T}\\ |
759 : \meta{F} ::= num\_token | ( \cdot \meta{E} \cdot )\\ |
759 : \meta{F} ::= num\_token | ( \cdot \meta{E} \cdot )\\ |
760 \end{plstx}} |
760 \end{plstx}} |
761 |
761 |
762 \begin{center}\small |
762 \begin{center}\small |