Two Families of Languages Related to ALGOL
Journal of the ACM (JACM)
On The Ambiguity Problem of Backus Systems
Journal of the ACM (JACM)
A syntax directed compiler for ALGOL 60
Communications of the ACM
Report on the algorithmic language ALGOL 60
Communications of the ACM
Some remarks on the syntax of symbolic programming languages
Communications of the ACM
The role of programming in a Ph.D. computer science program
Communications of the ACM
Communications of the ACM
Compiler generation using formal specification of procedure-oriented and machine languages
AFIPS '67 (Spring) Proceedings of the April 18-20, 1967, spring joint computer conference
A formal system for the specification of the syntax and translation of computer languages
AFIPS '67 (Fall) Proceedings of the November 14-16, 1967, fall joint computer conference
Very high-level language design: A viewpoint
Computer Languages
Hi-index | 0.04 |
The analytic grammar (a model which provides a rigorous description of syntactic analysis) is presented, and some of its fundamental properties are shown. Various submodels are discussed and equivalences among these are noted.An analytic grammar incorporates a set P of syntactic productions, and also a scan @@@@. At each successive “rewriting” in the analysis of a string x, @@@@ computes a subset of productions applicable to x (i.e., which may be used to “rewrite” x) from the set of productions which are potentially applicable to x. Thus each scan determines a class of grammars.It is shown that all analytic languages are recursive, and conversely, all recursive sets are analytic languages. All phrase structure grammars are analytic grammars. A simple sufficient condition is shown under which an analytic grammar provides unique analyses for all strings.Particularly relevant to syntactic analysis of algorithmic languages (i.e., languages which are used to specify computing algorithms) are the “leftmost” scans, each of which chooses a certain “leftmost” production. Conditions which provide equivalences among these scans are noted.