Re: Question re the (non-)equivalence of Z -> z and Z -> z e (e the empty string)

> Does your use of the example mean that you think it is OK (in
> language theoretic examples anyway) to think of epsilon (the emptry
> string symbol) as being an element of Vt which can appear to the
> right of the arrow in productions ?


Not in Vt. Nonterminals and actions can also appear on the rhs of a
production. My point was that it is not incorrect to explicitly say that
there is nothing between the symbols by putting the empty string there.
Redundant and hard to read, but not incorrect.


A better phrasing might be that the LL(0) conflict is on the imaginary, or
implied empty string at the beginning of every production. Since k=0, the
conflict is on nothing, but I needed to formalize this in a way that was
consistent with the cases where k>0.


SLK Parser Generator: http://home.earthlink.net/~slkpg/

Return to the comp.compilers page.
Search the comp.compilers archives again.