equal
deleted
inserted
replaced
778 (o, Ops)\;+ \\ |
778 (o, Ops)\;+ \\ |
779 (n, Nums)\;+ \\ |
779 (n, Nums)\;+ \\ |
780 (s, Semis)\;+ \\ |
780 (s, Semis)\;+ \\ |
781 (p, (LParens + RParens))\;+\\ |
781 (p, (LParens + RParens))\;+\\ |
782 (b, (Begin + End))\;+ \\ |
782 (b, (Begin + End))\;+ \\ |
783 (w, WhiteSpacess) |
783 (w, WhiteSpaces) |
784 \end{array}\right)^{\mbox{\LARGE{}*}}$ |
784 \end{array}\right)^{\mbox{\LARGE{}*}}$ |
785 \end{center} |
785 \end{center} |
786 |
786 |
787 \noindent and ask the algorithm by Sulzmann \& Lu to lex, say |
787 \noindent and ask the algorithm by Sulzmann \& Lu to lex, say |
788 the following string |
788 the following string |