Reduction of Nondeterministic Tree Automata.

Ricardo Almeida Lukás Holík Richard Mayr

Published in: CoRR (2015)

Keyphrases

tree automata
finite automata
finite state
finite automaton
regular expressions
tree languages
markov chain
syntactic pattern recognition
grammatical inference
optimal policy
model checking
markov decision processes
machine learning
high level