Abstract
Bracketed two-level grammars are not a variation of two-level grammars (van Wijngaarden grammars) but consitute a restriction within the general scheme. The resulting grammars give rise to an effective top-down analysis, where the replacement of metanotions is governed by rules similar to the evaluation dependencies in attribute grammars. Supplemented by the formalized concept of predicates, the class of languages is shown to be decidable and includes EXSPACE. Moreover it has been demonstrated by a description of PASCAL-S, that the grammars are versatile enough to yield quite readable formal definitions of programming languages. To allow a critical comparison, a grammar for the syntax of ASPLE is given in an Appendix.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Baker, J.L.: Grammars with Structured Vocabulary: a Model for the Algol 68 Definition, Information and Control 20:4, 351–395 (1972)
Cleaveland, J.C., Uzgalis, R.: What Every Programmer Should Know about Grammar, Dept. of Computer Science, School of Engineering and Applied Science, UCLA (1973), also; American Elsevier Publ., Co., New York, 1976
Dembiński, P., Małuszyński, J.: Attribute grammars and two-level grammars; a unifying approach, MFCS 1978, Zakopane, LNCS 64, 143–154 (1978)
Deussen, P.: A Decidability Criterion for van Wijngaarden Grammars, Acta Informatica 5, 353–375 (1975)
Deussen, P., Mehlhorn, K.: Van Wijngaarden Grammars and Space Complexity Class EXSPACE, Acta Informatica 8, 193–199 (1977)
Deussen, P., Wegner, L.: A Bibliographie of van Wijngaarden Grammars, Bulletin of the European Ass. for Theoretical Computer Science (EATCS), No. 6, 1978
Jungkind, G.: Geklammerte zweischichtige Grammatiken, Master's Thesis, Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe, October 1978
Marcotty, M., Ledgard, H.F., Bochmann, G.V.: A Sampler of Formal Definitions, Computing Surveys, 8/2 (1976)
Wegner, L.: Analysis of Two-Level Grammars, Ph.D. thesis, Stuttgart: Hochschul-Verlag 1977
Wijngaarden, A. van, et al. (eds.): Revised Report on the Algorithmic Language ALGOL 68, Berlin-Heidelberg-New York: Springer 1976.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1979 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wegner, L. (1979). Bracketed two-level grammars — A decidable and practical approach to language definitions. In: Maurer, H.A. (eds) Automata, Languages and Programming. ICALP 1979. Lecture Notes in Computer Science, vol 71. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-09510-1_53
Download citation
DOI: https://doi.org/10.1007/3-540-09510-1_53
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-09510-1
Online ISBN: 978-3-540-35168-9
eBook Packages: Springer Book Archive