[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