Re: Simplifying a "recursive, zero-or more" - grammar

[Joel E. Denny]

On Sun, 19 Feb 2006, Frans Englich wrote:

> ------------------------------------------------------
> FirstProlog: /* empty */
> | FirstPrologPart FirstPrologPart
> | FirstPrologPart
> 
> FirstPrologPart: DefaultNamespaceDecl
> | Setter
> | NamespaceDecl
> | Foo
> | Bar
> ------------------------------------------------------
> 
> In other words, this grammar (intentionally) allows zero or more 
> DefaultNAmespaceDecl, Setter or NamespaceDecl in arbitrary order. For 
> example: "Setter, Setter, NamespaceDecl", or simply "<empty>".

No, it allows 0, 1, or 2 only.

> Here's another version, which as far as I can tell, achieves the same:
> 
> ------------------------------------------------------
> FirstProlog: /* empty */
> | FirstProlog DefaultNamespaceDecl
> | FirstProlog Setter
> | FirstProlog NamespaceDecl
> | FirstProlog Foo
> | FirstProlog Bar
> ------------------------------------------------------

This is 0 or more.

Joel