DFA | NFA | ε NFA | Push-down Automata | Linear Bound Automata | Turing Machine | Moore & Mealy Machine | Chomsky | Regx