Determinization of Finite State Weighted Tree Automata.

Björn Borchardt Heiko Vogler

Published in: J. Autom. Lang. Comb. (2003)

Keyphrases

tree automata
finite state
markov chain
markov decision processes
optimal policy
model checking
tree languages
regular expressions
context free
syntactic pattern recognition
partially observable markov decision processes
average cost
finite automata
search space
finite automaton