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))\;+ \\

   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