Random Generation of Nondeterministic Finite-State Tree Automata.
Thomas HanneforthAndreas MalettiDaniel QuernheimPublished in: TTATT (2013)
Keyphrases
- finite state
- tree automata
- markov chain
- markov decision processes
- model checking
- finite automaton
- tree languages
- optimal policy
- average cost
- context free
- database
- syntactic pattern recognition
- finite automata
- information retrieval
- partially observable markov decision processes
- finite state transducers
- regular expressions