Summary
This paper defines a hierarchy of languages which is properly contained in the context sensitive languages and which starts with the context free family. The hierarchy is defined inductively by controlling labeled linear grammars with languages in one family to yield languages in the next larger family. The families of the hierarchy have properties analogous to those of the context free family, in particular, the new mechanism introduced is very suitable for parsing.
A language in the n-th family is specified by a sequence of n — 1 labeled linear grammars and a context free grammar. By assuming that the reversals of the first n — 1 grammars and the last labeled linear grammar are precedence grammars, the concepts and parsing algorithm of Wirth and Weber extend to yield a parsing algorithm within the hierarchy. This considerably enhances the usefulness of the construction and allows much of the power of the context sensitive languages to become accessible in measured amounts for potential programming applications.
Similar content being viewed by others
References
Abraham, S.: Some questions of phrase structure grammars. Computer Linguistics 4, 61–70 (1965)
Aho, A., Ullman, J.: The theory of parsing, translation, and compiling, vol. I and II. Englewood Cliffs, N.J.: Prentice-Hall 1972
Floyd, R. W.: On the non-existence of a phrase structure grammar for ALGOL 60. Comm. ACM 5, 483–484 (1962).
Gries, D.: Compiler construction for digital computers. New York: John Wiley and Sons 1971
Kasai, T.: An hierarchy between context-free and context-sensitive languages. J. Computer and System Sciences 4, 492–508 (1970)
Khabbaz, N. A.: Control sets on linear grammars. Information and Control (to appear 1974)
Khabbaz, N. A.: A geometric hierarchy of languages. J. Computer System Sciences 8, 142–157 (1974)
Khabbaz, N. A.: Generalized context-free languages. The University of Iowa, Iowa City. Dissertation, May 1972
Rosenkrantz, D. J.: Programmed grammars and classes of formal languages. J. ACM 16, 107–131 (1969)
Wirth, N., Weber, H.: Euler-A generalization of ALGOL and its definition. Parts I and II. Comm. ACM 9, 13–25. 89–99 (1966)
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Khabbaz, N.A. Multipass precedence analysis. Acta Informatica 4, 77–85 (1974). https://doi.org/10.1007/BF00288937
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00288937