Hierarchies of tree series transformations

From MaRDI portal





We study bottom-up and top-down tree series transducers over a semiring A . We present an inclusion diagram and prove its correctness. This inclusion diagram implies the properness of four hierarchies. As the second main result we prove that the first two hierarchies are proper even for arbitrary (i.e., not necessarily commutative) izz-semirings.











This page was built for publication: Hierarchies of tree series transformations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1826640)