Grammar Coverings of a Deterministic Parser with Action Conflicts

Abstract Extended LR parsing of ambiguous grammars is investigated in view of parser transformations. We define a cover grammar of a transformed parser in terms of grammar coverings, and we present a generation method of cover grammars, together with a proof. The method reflects a parser transformation into a cover grammar, which shows the effect of deleting actions in the parser. A general cover grammar for a transformed parser is introduced by the proposed method, and for a meaningful class of parsers, the generation of a reduced cover grammar is presented.