Automata as functors

Last updated Feb 3, 2024

• Automata

References

• Automata Minimization, A Functorial Approach (Colcombet, Petrisan)