Advertisement

Left-fitting translations

  • H. P. Kriegel
  • Th. Ottmann
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 52)

Abstract

One rather natural method for defining translations is by specifying a pair of grammars generating the translation. If for each leftmost derivation d in the input grammar generating an input word x the "corresponding" derivation d' in the output grammar generates an output word x', we call this grammar pair left-fitting. This concept is motivated by the usual parsing algorithms yielding leftmost derivations and by the fact that the left-fitting translations are more powerful than the syntax-directed translations. It is shown that it is decidable whether or not a given pair of context-free grammars is left-fitting or not essentially using the fact that the set of left derivation trees of a context-free grammar is semilinear. By means of certain structure properties of left-fitting translations, it is shown that they form a proper hierarchy in their so called intercalation number.

Keywords

Input Word Sentential Form Output Word Formal Translation Infinite Language 
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.

References

  1. GÜNTHER,C. (1976), Zeichenkettenmanipulation mit Formalen übersetzungen, (String manipulation by formal translations), Master's Thesis at the Institut für Angewandte Informatik und Formale Beschreibungsverfahren, University of Karlsruhe.Google Scholar
  2. KRIEGEL,H.P. (1976), Erzeugung von Übersetzungen durch Grammatikpaare (Generation of translations by grammar pairs), Ph. D. Thesis at the Institut für Angewandte Informatik und Formale Beschreibungsverfahren, University of Karlsruhe.Google Scholar
  3. KRIEGEL, H.P. and MAURER, H.A. (1976), Formal Translations and Szilard Languages, Information and Control 30(1976), 187–198.Google Scholar
  4. PARIKH, R.J. (1966), On context-free languages, Journal of the ACM 13(1966), 570–581.Google Scholar
  5. PENTTONEN, M. (1974), On Derivation Languages Corresponding to context-free Grammars, Acta Informatica 3(1974), 285–291.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1977

Authors and Affiliations

  • H. P. Kriegel
    • 1
  • Th. Ottmann
    • 1
  1. 1.University of KarlsruheKarlsruheWestern-Germany

Personalised recommendations