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.
Chapter PDF
Similar content being viewed by others
Keywords
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
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.
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.
KRIEGEL, H.P. and MAURER, H.A. (1976), Formal Translations and Szilard Languages, Information and Control 30(1976), 187–198.
PARIKH, R.J. (1966), On context-free languages, Journal of the ACM 13(1966), 570–581.
PENTTONEN, M. (1974), On Derivation Languages Corresponding to context-free Grammars, Acta Informatica 3(1974), 285–291.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1977 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kriegel, H.P., Ottmann, T. (1977). Left-fitting translations. In: Salomaa, A., Steinby, M. (eds) Automata, Languages and Programming. ICALP 1977. Lecture Notes in Computer Science, vol 52. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-08342-1_24
Download citation
DOI: https://doi.org/10.1007/3-540-08342-1_24
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-08342-9
Online ISBN: 978-3-540-37305-6
eBook Packages: Springer Book Archive