SLR(k) covering for LR(k) grammars

doi:10.1016/0020-0190(91)90152-8

Information Processing Letters

Volume 37, Issue 6, 28 March 1991, Pages 337-347

https://doi.org/10.1016/0020-0190(91)90152-8 Get rights and content

Abstract

We show that every LR(k) context-free grammar can be right covered by an SLR(k) grammar. We give a method of transforming an arbitrary LR(k) grammar into an SLR(k) grammar which right covers it. The transformation is based on the LR(k) parser for the given grammar.

References (10)

D.E. Knuth
On the translation of languages from left to right
Inform. and Control
(1965)
A. Nijholt
On the covering of parsable grammars
J. Comput. System Sci.
(1977)
D.J. Rosenkrantz et al.
Testing for grammatical coverings
Theoret. Comput. Sci.
(1985)
A.V. Aho et al.
(1972 and 1973)
F.L. DeRemer
Simple LR(k) grammars
Comm. ACM
(1971)

There are more references available in the full text version of this article.

Cited by (3)

Grammar coverings of a deterministic parser with action conflicts
1994, Information Processing Letters
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.
On the reduction of LR(k) parsers
1993, Information Processing Letters
Boundelly LR(k)-conflictable grammars
1994, Acta Informatica

^☆: Research supported by Korea Science & Engineering Foundation, Grant No. 901-1101-002-2.

^∗∗: Present address: Department of Computer Science, University of Ulsan, P.O. Box 18, Ulsan, Kyuong-Nam 680-749, South Korea.

View full text

SLR(k) covering for LR(k) grammars☆

Abstract

Inform. and Control

J. Comput. System Sci.

Theoret. Comput. Sci.

Simple LR(k) grammars

Comm. ACM