A Kleene Theorem for Weighted Tree Automata

In this paper we prove Kleene’s result for formal tree series over a commutative semiring A (which is not necessarily complete or continuous or i...
1 downloads 79 Views 418KB Size