A nonrecursive method of syntax specification
- 1 April 1966
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 9 (4) , 267-269
- https://doi.org/10.1145/365278.365503
Abstract
The use of the Kleene regular expression notation for describing algebraic language syntax, in particular of ALGOL, is described in this paper. A FORTRAN II computer program for carrying out the elimination algorithm of Gorn, similar to Gaussian elimination for linear systems of algebraic equations, is described. This was applied to numerous smaller languages, including some sublanguages of ALGOL. A hand calculation result of the application of the algorithm to all of ALGOL is given, thus expressing the Revised ALGOL 1960 syntax in completely nonrecursive terms, as far as its context-free portion is concerned. This description in many ways is far more intuitively understood than the previous recursive description, it is suggested. The paper also includes results of the machine program, which does not include a simplification algorithm.Keywords
This publication has 3 references indexed in Scilit:
- A method of syntax specificationCommunications of the ACM, 1964
- Revised report on the algorithmic language ALGOL 60Communications of the ACM, 1963
- On certain formal properties of grammarsInformation and Control, 1959