Re: Grammar with precedence rules

haberg@matematik.su.se (Hans Aberg)
17 Mar 2002 22:11:05 -0500

          From comp.compilers

Related articles
Grammar with precedence rules haberg@matematik.su.se (2002-03-09)
Re: Grammar with precedence rules joachim_d@gmx.de (Joachim Durchholz) (2002-03-11)
Re: Grammar with precedence rules haberg@matematik.su.se (2002-03-17)
Re: Grammar with precedence rules mickunas@cs.uiuc.edu (Dennis Mickunas) (2002-03-17)
Re: Grammar with precedence rules joachim_d@gmx.de (Joachim Durchholz) (2002-03-19)
Re: Grammar with precedence rules haberg@matematik.su.se (2002-03-21)
Re: Grammar with precedence rules michaeldyck@shaw.ca (Michael Dyck) (2002-03-31)
| List of all articles for this month |

From: haberg@matematik.su.se (Hans Aberg)
Newsgroups: comp.compilers
Date: 17 Mar 2002 22:11:05 -0500
Organization: Mathematics
References: 02-03-043 02-03-068
Keywords: parse
Posted-Date: 17 Mar 2002 22:11:05 EST

In article 02-03-068, joachim.durchholz@gmx.de wrote:
>> When dealing with different parsing algorithms, one would like to have
>> a language specified by a pair (G, P), where G is a traditional
>> grammar, and P is a suitably defined set of precedence rules. Then
>> from that, one should be able to define the language L(G, P), without
>> any dependency on a specific parsing algorithm.


>> Has this been done (if so, ref's, please)?


>The Dragon book has a set of rules that say when a precedence grammar
>is unambiguous (for a quite wide definition of "precedence grammar",
>i.e. with few restrictions on the form of the productions). This is
>almost certainly not what you want, but it may give you a new angle to
>view the problem from.


Right, this not what I want:


The book http://www.cs.vu.nl/~dick/PTAPG.htm has an even more detailed
description of precedence grammars, but one of its authors told me
that neither he knows how to do it. (Even though everybody seems to
agree on that it should be doable, nobody seems to know how or be able
to give a reference.)


    Hans Aberg * Email: Hans Aberg <remove.haberg@member.ams.org>
                                    * Home Page: <http://www.matematik.su.se/~haberg/>
                                    * AMS member listing: <http://www.ams.org/cml/>


Post a followup to this message

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