Reduction of Nondeterministic Tree Automata.
Ricardo AlmeidaLukás HolíkRichard MayrPublished in: TACAS (2016)
Keyphrases
- tree automata
- finite automata
- finite state
- finite automaton
- regular expressions
- markov chain
- tree languages
- model checking
- markov decision processes
- database
- optimal policy
- grammatical inference
- dynamic programming
- domain knowledge
- hidden markov models
- context free grammars
- relational databases
- reinforcement learning
- machine learning
- databases