introduced generalised term homomorphisms (term homomorphisms with state, that can be transformed into tree transducers)
introduced generalised term homomorphisms (term homomorphisms with state, that can be transformed into tree transducers)

gasche/compdata,spacekitteh/compdata