Tree-to-tree Hennie machines compute functions with linear size-to-height increase that lie between LSHI macro tree transducers and MSO set interpretations, are closed under specific compositions, contain the strict linear-height MTT composition hierarchy, and are equivalently characterized by a lin
MSO definable string transductions and two-way finite-state transducers
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.FL 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Tree transducers of linear size-to-height increase (and the additive conjunction of linear logic)
Tree-to-tree Hennie machines compute functions with linear size-to-height increase that lie between LSHI macro tree transducers and MSO set interpretations, are closed under specific compositions, contain the strict linear-height MTT composition hierarchy, and are equivalently characterized by a lin