Stateful Term Homomorphisms
Bottom-Up State Propagation
Top-Down State Propagation
Bidirectional State Propagation
Deterministic Bottom-Up Tree Transducers
Deterministic Bottom-Up Tree State Transformations
Monolithic State
Modular State
Deterministic Top-Down Tree Transducers
Deterministic Top-Down Tree State Transformations
Monolithic State
Modular State
Bidirectional Tree State Transformations
Operators for Finite Mappings
Product State Spaces