On Tuesday, December 31, 2019 at 8:42:51 AM UTC-8, Anton Ertl wrote:   
   > carlglassberg@gmail.com writes:   
   > >Gray's meta notation uses a postix operator "&&" for "separator list".   
   ...   
   > >If Gray: "a b &&" ---> EBNF: "a { b a }"   
   ...   
   > >then  ...   
   ...   
   > >"a b && c &&"   
   >   
   > The left operand of the second && would be "a b &&", so the whole   
   > thing would be equivalent to   
   >   
   > a {b a} {c {a {b a}}}   
   ...   
      
   Should that be ?   
   a {b a} { c a {b a}}   
      
   Also, would   
     a b && c d &&   
   parse as:   
     a { b a } c { d c }   
   or as:   
     a { b a } c { d a { b a } c }   
      
   ???   
      
   Carl   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)