An algorithm for the construction of bounded-context parsers
- 1 May 1970
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 13 (5) , 297-307
- https://doi.org/10.1145/362349.362359
Abstract
An algorithm is described which accepts an arbitrary context-free grammar and constructs a bounded-context parser for it whenever such a parser exists. In the first part of the paper the definition of a context-free grammar and the working of a bounded-context parser are recalled. The notion of reduction class for a context-free grammar is then introduced and its connection with the structure of a bounded-context parser is indicated. Next, pushdown automata which generate the different reduction classes of a context-free grammar are defined. Finally, the algorithm is described; it essentially carries out an exhaustive study of all possible runs of the pushdown automata generating the reduction classes. In the second part, the utility of the algorithm is discussed in the light of the experience gained from its use in compiler design. The algorithm is claimed to be particularly useful in the simultaneous design of a language and a compiler for it.Keywords
This publication has 8 references indexed in Scilit:
- A practical method for constructing LR ( k ) processorsCommunications of the ACM, 1969
- Turing machines with restricted memory accessInformation and Control, 1966
- EULERCommunications of the ACM, 1966
- On the translation of languages from left to rightInformation and Control, 1965
- “Structural connections” in formal languagesCommunications of the ACM, 1964
- Bounded context syntactic analysisCommunications of the ACM, 1964
- A syntax controlled generator of formal language processorsCommunications of the ACM, 1963
- Syntactic Analysis and Operator PrecedenceJournal of the ACM, 1963