Hierarchies of tree series transformations (Q1826640)

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.