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

torbenm@app-7.diku.dk (Torben =?iso-8859-1?Q?=C6gidius?= Mogensen)
26 Apr 2007 09:37:27 -0400

          From comp.compilers

Related articles
parsing ISO C++(1998/2003) parthaspanda2005@yahoo.com (2007-04-14)
Re: parsing ISO C++(1998/2003) ang.usenet@gmail.com (Aaron Gray) (2007-04-18)
Re: parsing ISO C++(1998/2003) parthaspanda2005@yahoo.com (2007-04-19)
Re: parsing ISO C++(1998/2003) ang.usenet@gmail.com (Aaron Gray) (2007-04-23)
Re: parsing ISO C++(1998/2003) haberg@math.su.se (2007-04-23)
Re: parsing ISO C++(1998/2003) idbaxter@semdesigns.com (Ira Baxter) (2007-04-26)
Re: parsing ISO C++(1998/2003) torbenm@app-7.diku.dk (2007-04-26)
Re: parsing ISO C++(1998/2003) ang.usenet@gmail.com (Aaron Gray) (2007-04-27)
Re: parsing ISO C++(1998/2003) ang.usenet@gmail.com (Aaron Gray) (2007-04-27)
Re: parsing ISO C++(1998/2003) idbaxter@semdesigns.com (Ira Baxter) (2007-04-28)
Re: parsing ISO C++(1998/2003) idbaxter@semdesigns.com (Ira Baxter) (2007-04-28)
Re: parsing ISO C++(1998/2003) idbaxter@semdesigns.com (Ira Baxter) (2007-04-28)
| List of all articles for this month |

From: torbenm@app-7.diku.dk (Torben =?iso-8859-1?Q?=C6gidius?= Mogensen)
Newsgroups: comp.compilers
Date: 26 Apr 2007 09:37:27 -0400
Organization: Department of Computer Science, University of Copenhagen
References: 07-04-052 07-04-059 07-04-069 07-04-085
Keywords: C++, parse
Posted-Date: 26 Apr 2007 09:37:27 EDT

"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


Post a followup to this message

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