Keyphrases
- tree automata
- finite state
- regular expressions
- finite automata
- model checking
- syntactic pattern recognition
- tree languages
- finite automaton
- ordered trees
- markov chain
- information retrieval
- pattern matching
- regular tree languages
- monadic second order logic
- context free
- query language
- markov decision processes
- reinforcement learning
- database systems
- machine learning
- database