Deciding Nondeterministic Hierarchy of Deterministic Tree Automata.

Damian Niwinski Igor Walukiewicz

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

tree automata
finite automata
finite state
finite automaton
regular expressions
regular tree languages

markov chain
grammatical inference
tree languages
syntactic pattern recognition
fully observable
markov decision processes

model checking
optimal policy
database
pattern matching
learning algorithm

tree structure
hidden markov models
database systems
information retrieval
databases