Computer science
Büchi automaton
Finite-state machine
Powerset construction
Infinite tree automaton
Ω-automaton
Automata theory
Theoretical computer science
Models of computation