Pages that link to "Item:Q5092441"
From MaRDI portal
The following pages link to A congruence-based perspective on automata minimization algorithms (Q5092441):
Displaying 5 items.
- A Congruence-Based Perspective on Finite Tree Automata (Q5025071) (← links)
- (Q5089207) (← links)
- A case study in meta-automation: automatic generation of congruence automata for combinatorial sequences (Q5168653) (← links)
- FROM EQUIVALENCE TO ALMOST-EQUIVALENCE, AND BEYOND: MINIMIZING AUTOMATA WITH ERRORS (Q5495421) (← links)
- Minimisation in logical form (Q6612779) (← links)