Generation of Path Directed LALR(k) Parsers for Regu1ar Right Part Grammars
スポンサーリンク
概要
- 論文の詳細を見る
A regular right part grammar (RRPG) is a context-free grammar in which regular expressions of grammar symbols are allowed in the right part of productions. An RRPG is called an ELR grammar if its sentences can be analyzed by the LR-parsing method. An efficient method for building ELR parsers is given in this paper. In order to identify the left end of a handle at reduction time, an LR state symbol is pushed onto the parser stack only when the corresponding transition is from a nonkernel item of the state. In the case of stacking conflict, that is, if there are two corresponding transitions, one from a nonkernel item and the other from a kernel item, the LR state symbol is pushed onto the parser stack. Furthermore, the path number that records the transition path is pushed onto the parser stack in order to solve the stacking conflict. The grammar class of our method is larger than that of [2], [7] and ESLR(k). We discuss the relations between these methods and present some comments on a previous method [7]. Our method is simple and efficient, and no grammar transformation or computation of lookback / readback states is necessary.
- 一般社団法人情報処理学会の論文
- 1991-12-31
著者
-
Zhang Youpu
Department Of Computer Science And Information Mathematics University Of Electro-communications
-
ZHANG YOUPU
School of Computer Science, McGill University
-
NAKATA IKUO
Institute of Information Science and Electronics, University of Tsukuba
-
Nakata Ikuo
Institute Of Information Science And Electronics University Of Tsukuba
-
Zhang Youpu
School Of Computer Science Mcgill University
関連論文
- Parametric Analysis of Optimal Static Load Balancing in Distributed Computer Systems
- Parametric Analysis of Optimal Static Load Balancing
- Generation of Path Directed LALR(k) Parsers for Regu1ar Right Part Grammars
- A Contribution to LR-attributed Grammars
- Negation Technique for Context-Free Grammars
- Modelling and Analysis of Concurrent Processes Connected by Streams