Bracketed two-level grammars — A decidable and practical approach to language definitions

  • Lutz Wegner
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 71)


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.


Derivation Tree Empty Word Sentential Form Attribute Grammar Mode Definition 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Baker, J.L.: Grammars with Structured Vocabulary: a Model for the Algol 68 Definition, Information and Control 20:4, 351–395 (1972)Google Scholar
  2. [2]
    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, 1976Google Scholar
  3. [3]
    Dembiński, P., Małuszyński, J.: Attribute grammars and two-level grammars; a unifying approach, MFCS 1978, Zakopane, LNCS 64, 143–154 (1978)Google Scholar
  4. [4]
    Deussen, P.: A Decidability Criterion for van Wijngaarden Grammars, Acta Informatica 5, 353–375 (1975)Google Scholar
  5. [5]
    Deussen, P., Mehlhorn, K.: Van Wijngaarden Grammars and Space Complexity Class EXSPACE, Acta Informatica 8, 193–199 (1977)Google Scholar
  6. [6]
    Deussen, P., Wegner, L.: A Bibliographie of van Wijngaarden Grammars, Bulletin of the European Ass. for Theoretical Computer Science (EATCS), No. 6, 1978Google Scholar
  7. [7]
    Jungkind, G.: Geklammerte zweischichtige Grammatiken, Master's Thesis, Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe, October 1978Google Scholar
  8. [8]
    Marcotty, M., Ledgard, H.F., Bochmann, G.V.: A Sampler of Formal Definitions, Computing Surveys, 8/2 (1976)Google Scholar
  9. [9]
    Wegner, L.: Analysis of Two-Level Grammars, Ph.D. thesis, Stuttgart: Hochschul-Verlag 1977Google Scholar
  10. [10]
    Wijngaarden, A. van, et al. (eds.): Revised Report on the Algorithmic Language ALGOL 68, Berlin-Heidelberg-New York: Springer 1976.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1979

Authors and Affiliations

  • Lutz Wegner
    • 1
  1. 1.Institut für Angewandte Informatik und Formale BeschreibungsverfahrenUniversität Karlsruhe (TH)KarlsruheW. Germany

Personalised recommendations