The expressive power of regularity-preserving multi bottom-up tree transducers (mbot) is investigated. These mbot have very attractive theoretical and algorithmic properties. However, their expressive power is not well understood. It is proved that despite the restriction their power still exceeds that of composition chains of linear extended top-down tree transducers with regular look-ahead (xtop R), which are a natural super-class of stsg. In particular, topicalization can be modeled by such mbot, whereas composition chains of xtop R cannot implement it. However, the inverse of topicalization cannot be implemented by any mbot. An interesting, promising, and widely applicable proof technique is used to prove those statements. © 2014 Springer International Publishing Switzerland.
CITATION STYLE
Maletti, A. (2014). The power of regularity-preserving multi bottom-up tree transducers. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8587 LNCS, pp. 278–289). Springer Verlag. https://doi.org/10.1007/978-3-319-08846-4_21
Mendeley helps you to discover research relevant for your work.