The separability of formal languages
Transformations of grammars and translation directed by parsing
The class of translation grammars is introduced. This class is characterized by a possibility to implement a formal translation as an algorithm directed by parsing. To perform a translation, the conventional parser is extended by a facility to perform output operations within the parsing actions shift and reduce. The definitions of Kernel- and -translation grammars are presented. The transformations shaking-down and postponing that enable to transform some translation grammars into Kernel...
Transformations of translation grammars
Validity test for Floyd's operator-precedence parsing algorithms is polynomial in time