Results 1 
6 of
6
Macro Tree Transducers, Attribute Grammars, and MSO Definable Tree Translations
 Inform. and Comput
, 1998
"... A characterization is given of the class of tree translations definable in monadic second order logic (MSO), in terms of macro tree transducers. The first main result is that the MSO definable tree translations are exactly those tree translations realized by macro tree transducers (MTTs) with reg ..."
Abstract

Cited by 46 (20 self)
 Add to MetaCart
A characterization is given of the class of tree translations definable in monadic second order logic (MSO), in terms of macro tree transducers. The first main result is that the MSO definable tree translations are exactly those tree translations realized by macro tree transducers (MTTs) with regular lookahead that are single use restricted. For this the single use restriction known from attribute grammars is generalized to MTTs. Since MTTs are closed under regular lookahead, this implies that every MSO definable tree translation can be realized by an MTT. The second main result is that the class of MSO definable tree translations can also be obtained by restricting MTTs with regular lookahead to be finite copying, i.e., to require that each input subtree is processed only a bounded number of times. The single use restriction is a rather strong, static restriction on the rules of an MTT, whereas the finite copying restriction is a more liberal, dynamic restriction on the ...
Macro Tree Translations of Linear Size Increase are MSO Definable
 SIAM J. Comput
, 2001
"... Abstract. The first main result is that if a macro tree translation is of linear size increase, i.e., if the size of every output tree is linearly bounded by the size of the corresponding input tree, then the translation is MSO definable (i.e., definable in monadic secondorder logic). This gives a ..."
Abstract

Cited by 16 (6 self)
 Add to MetaCart
Abstract. The first main result is that if a macro tree translation is of linear size increase, i.e., if the size of every output tree is linearly bounded by the size of the corresponding input tree, then the translation is MSO definable (i.e., definable in monadic secondorder logic). This gives a new characterization of the MSO definable tree translations in terms of macro tree transducers: they are exactly the macro tree translations of linear size increase. The second main result is that given a macro tree transducer, it can be decided whether or not its translation is MSO definable, and if it is then an equivalent MSO transducer can be constructed. Similar results hold for attribute grammars, which define a subclass of the macro tree translations.
TreeBased Picture Generation
 Theoretical Computer Science
, 2000
"... . The concept of treebased picture generation is introduced. It is shown that there are equivalent treebased definitions of four picturegenerating devices known from the literature, namely collage grammars, mutually recursive function systems, contextfree chaincode grammars, and 0Lsystems with ..."
Abstract

Cited by 14 (7 self)
 Add to MetaCart
. The concept of treebased picture generation is introduced. It is shown that there are equivalent treebased definitions of four picturegenerating devices known from the literature, namely collage grammars, mutually recursive function systems, contextfree chaincode grammars, and 0Lsystems with turtle interpretation. Furthermore, generalisations of each of these systems are discussed. 1 Introduction During the last two decades picture generation has become a large field whose manyfold aspects are studied in mathematics as well as in practical and theoretical computer science. It attracts the interest of numerous researchers from diverse directions, which is no surprise because one can find in this area a great number of intellectually appealing mathematical and computational problems, interesting applications like the modelling of plant development and, one should not forget to mention this, an astonishing variety of beautiful pictures. In this paper picture generation is studied...
Tree Languages Generated by ContextFree Graph Grammars
 Rozenberg (eds), Proceedings of Theory and Applications of Graph Transformations  TAGT'98, number 1764 in LNCS
"... . A characterization is given of the class of tree languages which can be generated by contextfree hyperedge replacement (HR) graph grammars, in terms of macro tree transducers (MTTs). A similar characterization is given of the MSO definable tree transductions. 1 Introduction A tree t (over a rank ..."
Abstract

Cited by 7 (2 self)
 Add to MetaCart
. A characterization is given of the class of tree languages which can be generated by contextfree hyperedge replacement (HR) graph grammars, in terms of macro tree transducers (MTTs). A similar characterization is given of the MSO definable tree transductions. 1 Introduction A tree t (over a ranked alphabet) can conveniently be represented by a hypergraph g in the following way. Each node u of t is represented in g by the same node u and a hyperedge e u ; if u has children u 1 ; : : : ; u k in t, then e u is incident with u 1 ; : : : ; u k ; u in g (in that order). The righthand side of the leftmost production in Fig. 2(b) shows the hypergraph representation of the monadic tree A(e). We call such a hypergraph a tree graph, as opposed to the wellknown term graphs which are tree graphs with sharing of subtrees (see, e.g., [Plu98]). We want to characterize the class TR(HR) of tree languages which can be generated by HR grammars in this way, by means of MTTs which are a wellknown ...
Models of Tree Translation
"... This first chapter gives an introduction into the area of tree transducer theory, and describes the results presented in Chapters 2–6. The first section addresses general issues like translations, trees, and tree grammars. Section 2 is concerned with the different models of tree transducers that ar ..."
Abstract

Cited by 4 (1 self)
 Add to MetaCart
This first chapter gives an introduction into the area of tree transducer theory, and describes the results presented in Chapters 2–6. The first section addresses general issues like translations, trees, and tree grammars. Section 2 is concerned with the different models of tree transducers that are considered in the thesis. It describes the typical problems that appear in tree transducer theory, and mentions important properties of the different tree transducer models. Section 3 describes the results of
Appligraph: Applications of Graph Transformation  Fourth Annual Progress Report
, 2001
"... This report summarizes the activities in the fourth year of the ESPRIT Working Group APPLIGRAPH, covering the period from April 1, 2000, to March 31, 2001. The principal objective of this Working Group is to promote applied graph transformation as a rulebased framework for the specication and devel ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
This report summarizes the activities in the fourth year of the ESPRIT Working Group APPLIGRAPH, covering the period from April 1, 2000, to March 31, 2001. The principal objective of this Working Group is to promote applied graph transformation as a rulebased framework for the specication and development of systems, languages, and tools and to improve the awareness of its industrial relevance