Control of omega-Automata, Church's Problem, and the Emptiness Problem for Tree omega-Automata.
John G. ThistleWalter Murray WonhamPublished in: CSL (1991)
Keyphrases
- tree automata
- finite automata
- cellular automata
- regular expressions
- probabilistic automata
- finite state
- lattice gas
- timed automata
- finite state machines
- data mining
- finite automaton
- control strategy
- control method
- tree structure
- control system
- context free grammars
- classification trees
- control theory
- relational databases
- decision trees
- turing machine
- tree nodes
- learning algorithm
- tree languages
- real time