Transformations of grammars and translation directed by $LR$ parsing
Kybernetika, Tome 38 (2002) no. 1, p. [13]
Voir la notice de l'article provenant de la source Czech Digital Mathematics Library
The class of $LR$ translation grammars is introduced. This class is characterized by a possibility to implement a formal translation as an algorithm directed by $LR$ parsing. To perform a translation, the conventional $LR$ parser is extended by a facility to perform output operations within the parsing actions shift and reduce. The definitions of Kernel$(R)$- and $LR$-translation grammars are presented. The transformations shaking-down and postponing that enable to transform some translation grammars into Kernel$(R)$-translation grammars are described and used in the process of construction of the collection of sets of $LR(k)$ translation items. Different algorithms using these transformations are presented in an uniform way which makes it possible to compare them and to fix the hierarchy of the $LR$ translation grammars.
@article{KYB_2002__38_1_a1,
author = {Melichar, Bo\v{r}ivoj and Bac, Nguyen van},
title = {Transformations of grammars and translation directed by $LR$ parsing},
journal = {Kybernetika},
pages = {[13]},
publisher = {mathdoc},
volume = {38},
number = {1},
year = {2002},
mrnumber = {1899845},
zbl = {1265.68088},
language = {en},
url = {http://geodesic.mathdoc.fr/item/KYB_2002__38_1_a1/}
}
Melichar, Bořivoj; Bac, Nguyen van. Transformations of grammars and translation directed by $LR$ parsing. Kybernetika, Tome 38 (2002) no. 1, p. [13]. http://geodesic.mathdoc.fr/item/KYB_2002__38_1_a1/