[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Right recursion



In a message dated 3/10/2004 11:39:55 PM Eastern Standard Time, plam@sable.mcgill.ca writes:
I think that your grammar is right-recursive with respect to !E.  Do you
want to allow !!E?  If not, then I think you can say:

E -> E [ E ] | ! E_no_not
E_no_not -> E [ E ]

which is properly left-recursive.
 
I indeed do need the right recursion (or stated more precisely, I do need to allow !!E). Does this get me into trouble (i.e., do I need to remove the right recursion?)?
 
Thanks,
Chris