Finite State Automaton aka Finite State Machine
Two kinds: DFSA (Deterministic Finite State Automaton) and NFSA (Non-deterministic Finite State Automaton)