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