Similar Items: Minimization and Canonization of GFG Transition-Based Automata
- Automata Minimization: a Functorial Approach
- Minimization of visibly pushdown automata is NP-complete
- Canonicity and homotopy canonicity for cubical type theory
- Random Deterministic Automata With One Added Transition
- Constructive Canonicity of Inductive Inequalities
- Automata with Nested Pebbles Capture First-Order Logic with Transitive Closure