Nondeterministic Tree Automata.
Frank NießnerPublished in: Automata, Logics, and Infinite Games (2001)
Keyphrases
- tree automata
- finite automata
- finite state
- finite automaton
- regular expressions
- markov chain
- tree languages
- markov decision processes
- model checking
- ordered trees
- grammatical inference
- syntactic pattern recognition
- context free
- pattern matching
- database
- optimal policy
- knowledge representation
- database systems
- databases