Abstract
Top-down tree transducers with regular look-ahead are introduced. It is shown how these can be decomposed and composed, and how this leads to closure properties of surface sets and tree transformation languages. Particular attention is paid to deterministic tree transducers.
Similar content being viewed by others
References
A. Arnold andM. Dauchet, Transductions de forets regulieres monadiques; forets coregulieres,RAIRO 10 (1976), 5–28.
P. R. J. Asveld, Controlled iteration grammars and full hyper-AFL's,Memoradum 114, Technical University Twente, Holland, 1976.
B. S. Baker, Tree transductions and families of tree languages, Ph.D. Thesis, Harvard University,Report TR-9-73, 1973 (also:5th Theory of Computing, 200–206).
K. Čulik II andR. Cohen, LR-regular grammars—an extension of LR(k) grammars,JCSS 7 (1973), 66–96.
P. J. Downey, Tree transducers andETOL tree systems (abstract),Conference on Formal Languages, Automata and Development, Noordwijkerhout, Holland, 1975.
A. Ehrenfeucht andG. Rozenberg, On inverse homomorphic images of deterministicETOL languages,LOCOS 13, Utrecht University, Holland, 1974.
J. Engelfriet, Bottom-up and top-down tree transformations—a comparison,Math. Syst. Theory 9 (1975), 198–231. This paper is also referred to as BT.
J. Engelfriet, Surface tree languages and parallel derivation trees,DAIMI Report PB-44, Aarhus University, Denmark, 1975 (to appear in Theoretical Computer Science).
G. T. Herman andG. Rozenberg,Developmental systems and languages, North-Holland Publ. Co., Amsterdam, 1975.
J. E. Hopcroft andJ. D. Ullman,Formal languages and their relation to automata, Addison-Wesley Publ. Co., Reading, Mass., 1969.
L. S. Levy andA. K. Joshi, Some results in tree automata,Math. Syst. Theory 6 (1973), 334–342.
W. F. Ogden andW. C. Rounds, Composition ofn transducers,4th Symp. on Theory of Computing, 1972, pp. 198–206.
W. C. Rounds, Mappings and grammars on trees,Math. Syst. Theory,4 (1970), 257–287.
J. W. Thatcher, Generalized2 sequential machine maps,JCSS 4 (1970), 339–367.
J. W. Thatcher, Tree automata: an informal survey, in:Currents in the Theory of Computing (ed. A. V. Aho), Prentice-Hall, 1973, pp. 143–172.
M. Dauchet,Transductions inversibles de forets, These, Univ. de Lille, France, 1975.
Author information
Authors and Affiliations
Additional information
The research reported here was carried out during a one-year visit of the author to the Dept. of Computer Science of Aarhus University, Aarhus, Denmark.
An erratum to this article is available at http://dx.doi.org/10.1007/s00224-015-9647-z.
Rights and permissions
About this article
Cite this article
Engelfriet, J. Top-down tree transducers with regular look-ahead. Math. Systems Theory 10, 289–303 (1976). https://doi.org/10.1007/BF01683280
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01683280