🦾 State machines §

= a behavior model consisting of states and transitions

Types §

• 🎰 Automata (acceptors)
• 🕳 Transducers (machines)
• Generators

Classification §

🪜 Chomsky Hierarchy