Finite State Automaton
Two kinds: DFSA (Deterministic Finite State Automaton) and NFSA (Non-deterministic Finite State Automaton)
[Category Acronym]