Finite State Automaton aka Finite State Machine

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

---