Models of computation
Nondeterministic finite automaton
Vector space
Muller automaton
Ω-automaton
Algebra
Automata theory
Mathematics