Deciding Nondeterministic Hierarchy of Deterministic Tree Automata.
Damian NiwinskiIgor WalukiewiczPublished 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