Automata

Last updated Sep 8, 2023

• Monoidal automata
• automata as functors