equal
deleted
inserted
replaced
277 \begin{tabular}{@{}l} |
277 \begin{tabular}{@{}l} |
278 ID: \ldots\\ |
278 ID: \ldots\\ |
279 OP:\\ |
279 OP:\\ |
280 \hspace{5mm}\texttt{"+"}, \texttt{"-"}\\ |
280 \hspace{5mm}\texttt{"+"}, \texttt{"-"}\\ |
281 NUM:\\ |
281 NUM:\\ |
282 \hspace{5mm}(NONZERODIGIT $\cdot$ DIGIT$^*$) + {''0''}\\ |
282 \hspace{5mm}(NONZERODIGIT $\cdot$ DIGIT$^*$) + {"0"}\\ |
283 NUMBER:\\ |
283 NUMBER:\\ |
284 \hspace{5mm}NUM + (\texttt{"-"} $\cdot$ NUM)\\ |
284 \hspace{5mm}NUM + (\texttt{"-"} $\cdot$ NUM)\\ |
285 \end{tabular} |
285 \end{tabular} |
286 |
286 |
287 \end{frame} |
287 \end{frame} |