Grammar equivalence

Gabor DEAK JAHN <>
29 Apr 1996 23:33:03 -0400

          From comp.compilers

Related articles
Grammar equivalence (Gabor DEAK JAHN) (1996-04-29)
Re: Grammar equivalence (Christian Rinderknecht) (1996-04-30)
Re: Grammar equivalence (1996-05-01)
Re: Grammar equivalence (1996-05-06)
| List of all articles for this month |

From: Gabor DEAK JAHN <>
Newsgroups: comp.compilers
Date: 29 Apr 1996 23:33:03 -0400
Organization: Compilers Central
Keywords: parse, theory, question

Is there a program somewhere to compare two grammars (not Yacc but
EBNF, if possible) for equivalence? I have an original grammar and a
derived one with many productions renamed, changed, simplified, left
factored and so on, and I would like to check whether they still
describe the same language.

[Sounds intractable to me. -John]


Post a followup to this message

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