Similar Items: A Finite Axiomatisation of Finite-State Automata Using String Diagrams
- String diagrams for Strictification and Coherence
- String Diagrams for Premonoidal Categories
- Normalization for planar string diagrams and a quadratic equivalence algorithm
- Alternating register automata on finite words and trees
- Automata Linear Dynamic Logic on Finite Traces
- Power of Randomization in Automata on Infinite Strings