Abstract
The power of top-down, bottom-up, and tree-to-graph-to-tree transducers (tgt transducers) to compute translations from hyperedge-replacement algebras into edge-replacement algebras is investigated. Compositions of top-down and bottom-up tree transducers are too weak if the operations in the target algebra are powerful enough to define all series-parallel graphs, 2-trees, or related types of graphs. Tgt transducers are shown to be more powerful. These are able to compute translations into ER algebras whose operations are so-called 2tree * operations, which are generalizations of the well-known operations to generate 2-trees.
Supported by COMPUGRAPH II, ESPRIT Basic Research Working Group 7183.
Preview
Unable to display preview. Download preview PDF.
References
Brenda S. Baker. Composition of top-down and bottom-up tree transductions. Information and Control 41, 186–213, 1979.
Michel Bauderon, Bruno Courcelle. Graph expressions and graph rewriting. Mathematical Systems Theory 20, 83–127, 1987.
Bruno Courcelle. The monadic second-order logic of graphs V: on closing the gap between definability and recognizability. Theoretical Computer Science 80, 153–202, 1991.
Frank Drewes. The use of tree transducers to compute translations between graph algebras. Report 8/94, Univ. Bremen, 1994.
Joost Engelfriet. Bottom-up and top-down tree transformations — a comparison. Mathematical Systems Theory 9(3), 198–231, 1975.
Joost Engelfriet. On tree transducers for partial functions. Information Processing Letters 7, 170–172, 1978.
Joost Engelfriet. Some open questions and recent results on tree transducers and tree languages. In R.V. Book, editor, Formal Language Theory: Perspectives and Open Problems, 241–286. Academic Press, New York, 1980.
Joost Engelfriet. Graph grammars and tree transducers. In Proc. CAAP 94, Lecture Notes in Computer Science 787, 15–37, 1994.
Joost Engelfriet, Heiko Vogler. The translation power of top-down tree-to-graph transducers. Journal of Computer and System Sciences 49, 258–305, 1994.
J. E. Hopcroft, R. E. Tarjan. Dividing a graph into triconnected components. SIAM Journal on Computing 2(3), 135–158, 1973.
S. MacLane. A structural characterization of planar combinatorial graphs. Duke Mathematical Journal 3, 460–472, 1937.
Walter Vogler. Recognizing edge replacement graph languages in cubic time. In H. Ehrig, Hans-Jörg Kreowski, G. Rozenberg, editors, Proc. Fourth Intl. Workshop on Graph Grammars and Their Application to Comp. Sci., Lecture Notes in Computer Science 532, 676–687, 1991.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Drewes, F. (1996). The use of tree transducers to compute translations between graph algebras. In: Cuny, J., Ehrig, H., Engels, G., Rozenberg, G. (eds) Graph Grammars and Their Application to Computer Science. Graph Grammars 1994. Lecture Notes in Computer Science, vol 1073. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61228-9_88
Download citation
DOI: https://doi.org/10.1007/3-540-61228-9_88
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61228-5
Online ISBN: 978-3-540-68388-9
eBook Packages: Springer Book Archive