equal
deleted
inserted
replaced
446 NUM:\\ |
446 NUM:\\ |
447 \hspace{5mm}(NONZERODIGIT $\cdot$ DIGIT$^*$) + {0}\\ |
447 \hspace{5mm}(NONZERODIGIT $\cdot$ DIGIT$^*$) + {0}\\ |
448 OP:\\ |
448 OP:\\ |
449 \hspace{5mm}{+}\\ |
449 \hspace{5mm}{+}\\ |
450 COMMENT:\\ |
450 COMMENT:\\ |
451 \hspace{5mm}{$\slash$*} $\cdot$ (ALL$^*$ $\cdot$ {$\sim$(*$\slash$)} $\cdot$ ALL$^*$) $\cdot$ {*$\slash$} |
451 \hspace{5mm}{$\slash$*} $\cdot$ $\sim$(ALL$^*$ $\cdot$ (*$\slash$) $\cdot$ ALL$^*$) $\cdot$ {*$\slash$} |
452 \end{tabular} |
452 \end{tabular} |
453 |
453 |
454 \end{frame} |
454 \end{frame} |
455 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
455 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
456 |
456 |