Progress Measures, Immediate Determinacy, and a Subset Construction for Tree Automata.
Nils KlarlundPublished in: Ann. Pure Appl. Log. (1994)
Keyphrases
- tree automata
- finite automata
- regular expressions
- finite state
- tree languages
- syntactic pattern recognition
- context free grammars
- machine learning
- information retrieval
- monadic second order logic
- databases
- knowledge based systems
- markov chain
- knowledge representation
- dynamic programming
- relational databases
- expert systems
- learning algorithm