Automata

Last updated Feb 3, 2024

• monoidal Mealy machine
• automata as functors