Determinization of Weighted Tree Automata Using Factorizations
Matthias Büchse, Heiko Vogler, Jonathan May · 2010
We present a determinization construction for weighted tree automata using factorizations. Among others, this result subsumes a previous result for determinization of weighted string automata using factorizations (Kirsten and Maurer, 2005) and two previous results for weighted tree automata, one of them not using factorizations (Borchardt, 2004) and one of them restricted to nonrecursive automata over the nonnegative reals (May and Knight, 2006).