equal
deleted
inserted
replaced
756 (n, Nums)\;+ \\ |
756 (n, Nums)\;+ \\ |
757 (s, Semis)\;+ \\ |
757 (s, Semis)\;+ \\ |
758 (p, (LParens + RParens))\;+\\ |
758 (p, (LParens + RParens))\;+\\ |
759 (b, (Begin + End))\;+ \\ |
759 (b, (Begin + End))\;+ \\ |
760 (w, WhiteSpacess) |
760 (w, WhiteSpacess) |
761 \end{array}\right)\LARGE^\mbox{\LARGE*}$ |
761 \end{array}\right)^{\mbox{\LARGE{}*}}$ |
762 \end{center} |
762 \end{center} |
763 |
763 |
764 \noindent and ask the algorithm by Sulzmann \& Lu to lex, say |
764 \noindent and ask the algorithm by Sulzmann \& Lu to lex, say |
765 the following string |
765 the following string |
766 |
766 |