Nondeterministic finite automaton and deterministic finite automaton. The theory behind state machines.