Re: converting this grammar to LL1

"Joachim Durchholz" <joachim_d@gmx.de>
7 Nov 2002 00:50:14 -0500

          From comp.compilers

Related articles
converting this grammar to LL1 te-cheng_shen@agilent.com (Te-Cheng Shen) (2002-10-20)
Re: converting this grammar to LL1 chungyc@pobox.com (Yoo Chung) (2002-10-24)
Re: converting this grammar to LL1 joachim_d@gmx.de (Joachim Durchholz) (2002-10-24)
Re: converting this grammar to LL1 patrick.volteau@st.com (Patrick Volteau) (2002-10-25)
Re: converting this grammar to LL1 andreas.gieriet@externsoft.ch (Andreas Gieriet) (2002-10-25)
Re: converting this grammar to LL1 te-cheng_shen@agilent.com (Te-Cheng Shen) (2002-11-06)
Re: converting this grammar to LL1 joachim_d@gmx.de (Joachim Durchholz) (2002-11-07)
Re: converting this grammar to LL1 slk12@earthlink.net (SLK Parsers) (2002-11-12)
| List of all articles for this month |

From: "Joachim Durchholz" <joachim_d@gmx.de>
Newsgroups: comp.compilers
Date: 7 Nov 2002 00:50:14 -0500
Organization: Compilers Central
References: 02-10-097 02-10-103 02-11-015
Keywords: parse, LL(1)
Posted-Date: 07 Nov 2002 00:50:14 EST

Te-Cheng Shen wrote:
>
> The problem is "How do I know the modified grammar generate the SAME
> language as the original one?"


This is indeed a problem. Unfortunately, there is no algorithm to decide
whether two grammars generate the same language.


> Or I should ask this question "Is there any algorithm to make this
  > kind of ambiguity go away?" I am NOT asking for very general
  > algorithms which can translate ANY ambiguous grammar to
> umanbiguous ones because they might not exist.


I don't know what kinds of ambiguities exist. It might be interesting to
have a classification of common ambiguities and how they can be safely
resolved that go beyond the canonical operator-precedence rules.


Regards,
Joachim


Post a followup to this message

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