On the Covering and Reduction Problems for Context-Free Grammars

A formal definition of one grammar "covering" another grammar is presented. I t is argued that this definition has the property that G' covers G when and only when the ability to parse G' suffices for parsing G. I t is shown that every grammar may be covered by a grammar in canonical two form. Every A-free grammar is covered by an operator normal form… CONTINUE READING