Kata Kunci Pencarian:
- Mesin finite-state
- Daftar masalah matematika yang belum terpecahkan
- Ω-automaton
- Büchi automaton
- Muller automaton
- Automata theory
- Generalized Büchi automaton
- Finite-state machine
- Omega-regular language
- Nondeterministic finite automaton
- McNaughton's theorem
- Weak Büchi automaton
