🦾 State machines § = a behavior model consisting of states and transitions Types § 🎰 Automata (acceptors) 🕳 Transducers (machines) Generators Classification § 🪜 Chomsky Hierarchy