Abstract
We introduce the concept of an alphabetic pushdown tree transducer, by adding a stack to an alphabetic tree transducer in the same way as a pushdown tree automaton is obtained from a top-down tree automaton. The stack of the general model contains trees, however, we also consider a restricted model of which the stack contains only unary trees. We give a characterization of the tree transformation induced by a restricted alphabetic pushdown tree transducer in terms of an algebraic forest over a suitable ranked alphabet and a bimorphism. We compare the class of tree relations induced by the alphabetic pushdown tree transducers with known classes of tree transformations. Finally, a new hierarchy of tree relations is established.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
A.V. Aho and J.D. Ullman, The Theory of Parsing, Translation and Compiling, Vol1, Prentice-Hall, Englewood Cliffs, NJ, 1972.
S. Bozapalidis, Alphabetic tree relations, Theoret. Comput. Sci. 99 (1992) 177–211.
S. Bozapalidis and G. Rahonis, On two families of forests, Acta Inform. 31 (1994) 235–260.
C. Choffrut and K. Culik II, Properties of finite and pushdown transducers, Siam J. Comput. 12,2, (1983) 300–315.
J. Engelfriet, Bottom-up and top-down tree transformations. A comparison, Math. Systems Theory 9 (1975) 198–231.
J. Engelfriet, Top-down tree transducers with regular look-ahead, Math. Systems Theory 10 (1976/1977) 289–303.
J. Engelfriet and H. Vogler, Macro Tree Transducers, J. Comput. System Sci. 31 (1985) 71–146.
M. Fliess, Transductions algébriques, R.A.I.R.O. R1 (1970) 109–125.
Z. Fülöp and S. Vágvölgyi, Iterated deterministic top-down look-ahead, Lecture Notes in Computer Science 380 (1989) 175–184.
Z. Fülöp and S. Vágvölgyi, Top-down tree transducers with regular look-ahead, Inform. Process. Lett. 33 (1989/1990) 3–5.
Z. Fülöp and S. Vágvölgyi, Variants of top-down tree transducers with look-ahead, Math. Systems Theory 21 (1989) 125–145.
Z. Fülöp and H. Vogler, Syntax-Directed Semantics, Springer-Verlag, 1998.
F. Gécseg and M. Steinby, Tree Automata, Akadémiai Kiadó, Budapest 1984.
F. Gécseg and M. Steinby, Tree Languages, in: Handbook of Formal Languages, Vol III, G. Rozenberg and A. Salomaa, eds., Springer-Verlag, 1997, pp.1–68.
I. Guessarian, Pushdown tree automata, Math. Systems Theory 16 (1983) 237–263.
G. Rahonis and K. Salomaa, On the size of stack and synchronization alphabets of tree automata, Fund. Inform. 36 (1998) 57–69.
G. Rahonis, Alphabetic and synchronized tree transducers, Theoret. Comput. Sci. 255 (2001) 377–399.
G. Rahonis, Alphabetic pushdown tree transducers, Dept. of Mathematics, University of Thessaloniki, Greece, preprint.
K. Salomaa, Synchronized tree automata, Theoret. Comput. Sci. 127 (1994) 25–51.
K. Yamasaki, Fundamental Properties of Pushdown Tree Transducers (PDTT) — A Top-Down Case, IEICE Trans. Inf. & Syst. E76-D,10 (1993) 1234–1242.
K. Yamasaki, Note on Domain/Surface Tree Languages of t-PDTT’s, IEICE Trans. Inf. & Syst. E79-D,6 (1996) 829–839.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Rahonis, G. (2003). Alphabetic Pushdown Tree Transducers. In: Ésik, Z., Fülöp, Z. (eds) Developments in Language Theory. DLT 2003. Lecture Notes in Computer Science, vol 2710. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45007-6_34
Download citation
DOI: https://doi.org/10.1007/3-540-45007-6_34
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40434-7
Online ISBN: 978-3-540-45007-8
eBook Packages: Springer Book Archive