Tree Automata, Mu-Calculus and Determinacy (Extended Abstract)
E. Allen EmersonCharanjit S. JutlaPublished in: FOCS (1991)
Keyphrases
- extended abstract
- tree automata
- regular expressions
- finite state
- finite automata
- tree languages
- syntactic pattern recognition
- markov chain
- query language
- pattern matching
- conjunctive queries
- machine learning
- finite automaton
- regular tree languages
- context free grammars
- optimal policy
- data management
- relational databases