Automata as functors

Last updated Jun 3, 2024

• Automata

References

• Automata Minimization, A Functorial Approach (Colcombet, Petrişan)