The following pages link to (Q5109522):
Displaying 13 items.
- Two Lax categorifications of Kalman algebras and the category of minimization heuristics (Q843651) (← links)
- Coalgebraic minimization of automata by initiality and finality (Q1744392) (← links)
- Cost functors and optimal realization (Q1819936) (← links)
- Categories of quantale-valued fuzzy automata: determinization and minimization (Q2053055) (← links)
- (Q3156501) (← links)
- AUTOMATA IN CATEGORIES AND REGULAR LANGUAGES (Q3678677) (← links)
- (Q4580203) (← links)
- Minimizing Generalized Büchi Automata (Q5756738) (← links)
- Tree automata as algebras: minimisation and determinisation (Q5875346) (← links)
- Minimization of automata for liveness languages (Q6160912) (← links)
- The genus of regular languages and directed graph emulators (Q6495791) (← links)
- Regular planar monoidal languages (Q6561334) (← links)
- Automata in W-toposes, and general Myhill-Nerode theorems (Q6666775) (← links)