Keyphrases
- tree automata
- finite state
- transition systems
- regular expressions
- finite automata
- modal logic
- syntactic pattern recognition
- tree languages
- markov chain
- pattern matching
- finite automaton
- markov decision processes
- model checking
- context free
- search space
- tableau calculus
- regular tree languages
- grammatical inference
- context free grammars
- optimal policy