Computing the Cost of Typechecking of Composition of Macro Tree Transducers

Keisuke Nakano, Sebastian Maneth

Research output: Contribution to journalArticlepeer-review


Macro tree transducers are a classical formal model for structural-recursive tree transformation with accumulative parameters. They have recently been applied to model XML transformations and queries. Typechecking a tree transformation means checking whether all valid input trees are transformed into valid output trees, for the given regular tree languages of input and output trees. Typechecking macro tree transducers is generally based on inverse type inference, because of the advantageous property that inverse transformations effectively preserve regular tree languages. It is known that the time complexity of typechecking an n-fold composition of macro tree transducers is non-elementary. The cost of typechecking can be reduced if transducers in the composition have special properties, such as being deterministic or total, or having no accumulative parameters. In this paper, the impact of such properties on the cost of typechecking is investigated. Reductions in cost are achieved by applying composition and decomposition constructions to tree transducers. Even though these constructions are well-known, they have not yet been analyzed with respect to the precise sizes of the transducers involved. The results can directly be applied to typechecking XML transformations, because type formalisms for XML are captured by regular tree languages.
Original languageEnglish
Pages (from-to)846-856
Number of pages11
JournalInformation and Media Technologies
Issue number4
Publication statusPublished - 15 Dec 2009


Dive into the research topics of 'Computing the Cost of Typechecking of Composition of Macro Tree Transducers'. Together they form a unique fingerprint.

Cite this