Formal translations and the containment problem for Szilard languages

  • H. P. Kriegel
  • H. A. Maurer
Part of the Lecture Notes in Computer Science book series (LNCS, volume 33)


One of the methods used for defining translations is the socalled syntax-directed translation scheme which can be interpreted as a pair of rather similar grammars with the productions working in parallel. Because of the similarity of the grammars each of the two grammars "fits" the other in the sense that for each derivation process in one grammar leading to a terminal word the corresponding derivation process in the other grammar also leads to a terminal word. For many practical applications it suffices to consider the case that one of the grammars fits the other, but not necessarily conversely. Investigating this idea, translations are obtained which are more powerful than the syntax-directed. It is shown that one can determine whether a given grammar fits another given grammar. As a by-product, it is established that the containment problem for Szilard languages is decidable.


  1. AHO,A.V. and ULLMAN,J.D. (1972) The theory of parsing, translation and compiling, Vol. I: Parsing, Prentice-Hall, Series in automatic computation, Englewood Cliffs, N.J. (1972).Google Scholar
  2. AHO, A.V. and ULLMAN, J.D. (1969), Syntax-directed translations and the pushdown assembler, Journal of Computer and System Sciences 3 (1969), 37–56.MathSciNetCrossRefGoogle Scholar
  3. AHO, A.V. and ULLMAN, J.D. (1969), Properties of syntax-directed translations, Journal of Computer and System Sciences 3 (1969), 319–334.MathSciNetCrossRefGoogle Scholar
  4. KANDZIA,P. und LANGMAACK,H. (1973), Informatik: Programmierung, Teubner Studienbücher Informatik, Bd. 18, Stuttgart (1973)Google Scholar
  5. KRIEGEL,H.P. and MAURER,H.A. (1974), Formal translations and the containment problem for Szilard languages, Report No. 23 of the Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität KarlsruheGoogle Scholar
  6. LEWIS, P.M. and STEARNS, R.E. (1968), Syntax-directed translations, Journal of the ACM 15 (1968), 271–281.CrossRefGoogle Scholar
  7. MAURER,H.A. und SIX,H.W. (1974), Datenstrukturen und Programmierverfahren, Teubner Studienbücher Informatik, Bd. 25, Stuttgart (1974)Google Scholar
  8. PENTTONEN, M. (1974), On Derivation Languages Corresponding to Context-Free Grammars, Acta Informatica 3 (1974), 285–291.MathSciNetCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1975

Authors and Affiliations

  • H. P. Kriegel
    • 1
  • H. A. Maurer
    • 1
  1. 1.Institut für Angewandte Informatik und Formale BeschreibungsverfahrenUniversität KarlsruheKarlsruhe 1Germany

Personalised recommendations