Complementation of Büchi Automata Using Alternation.
Felix KlaedtkePublished in: Automata, Logics, and Infinite Games (2001)
Keyphrases
- finite automata
- cellular automata
- probabilistic automata
- tree automata
- finite state
- finite state machines
- finite state automata
- information gain
- lattice gas
- regular expressions
- finite automaton
- databases
- first order logic
- evolutionary algorithm
- search algorithm
- reinforcement learning
- similarity measure
- decision trees
- feature selection
- machine learning