Determinization and Complementation of Streett Automata.
Stefan SchwoonPublished in: Automata, Logics, and Infinite Games (2001)
Keyphrases
- finite automata
- cellular automata
- probabilistic automata
- finite state machines
- finite state
- regular expressions
- lattice gas
- transitive closure
- tree automata
- finite automaton
- state space
- natural language
- decision trees
- clustering algorithm
- turing machine
- finite state automata
- formal languages
- image processing
- decision making