Grammar equivalence

Gabor DEAK JAHN <deakjahn@ludens.elte.hu>
29 Apr 1996 23:33:03 -0400

          From comp.compilers
Related articles
Grammar equivalence deakjahn@ludens.elte.hu (Gabor DEAK JAHN) (1996-04-29)
Re: Grammar equivalence Christian.Rinderknecht@inria.fr (Christian Rinderknecht) (1996-04-30)
Re: Grammar equivalence macrakis@osf.org (1996-05-01)
Re: Grammar equivalence ikastan@alumnae.caltech.edu (1996-05-06)
| List of all articles for this month |
From: Gabor DEAK JAHN <deakjahn@ludens.elte.hu>
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.

Bye,
    Gabor
    <deakjahn@ludens.inf.elte.hu>
[Sounds intractable to me. -John]

--

Post a followup to this message

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