Re: parsing ISO C++(1998/2003)

"Aaron Gray" <ang.usenet@gmail.com> writes:




> What would be a good tool is something that takes an ambiguous
> grammar an generates a GLR grammar. I am not sure whether this
> problem is decidable or not though.


GLR parsers are able to parse ambiguous grammars, so this is trivially
true. What you need, however, is a way to choose which one of the
many parse trees that the GLR parser gives you that you want, and I
can see no way of getting this automatically -- unless you can
formally specify disambiguation rules (such as operator precedence
rules). Operator precendence rules are insufficient to make the C++
grammar unambiguous, though.


Torben

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