scientific article; zbMATH DE number 6917169

DOI10.4230/LIPICS.CALCO.2017.8MaRDI QIDQ4580203zbMATH OpenFDO

Authors Thomas Colcombet, Daniela Petrişan

Publication date 13 August 2018

Full work available at URL https://arxiv.org/abs/1711.03063

zbMATH Keywords

Brzozowskiś minimization algorithmChoffrut's minimization algorithmfunctor automataminimizationsubsequential transducers

Mathematics Subject Classification ID

Functor categories, comma categories (18A25) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Categories of machines, automata (18B20) Algebraic theory of languages and automata (68Q70)

Recommendations

• scientific article; zbMATH DE number 7199591
• Minimisation of automata
• scientific article; zbMATH DE number 4166871
• scientific article; zbMATH DE number 4108165
• scientific article; zbMATH DE number 6300100
• Minimization of symbolic automata
• Minimization of lattice automata
• A graph theoretic approach to automata minimality
• Minimization of Mizumoto automata
• The minimization of a kind of non-deterministic finite automata

Cited in

(13)

• Coalgebraic minimization of automata by initiality and finality
• Cost functors and optimal realization
• Minimization via duality
• scientific article; zbMATH DE number 2125663 (Why is no real title available?)
• scientific article; zbMATH DE number 7199591 (Why is no real title available?)
• scientific article; zbMATH DE number 7204386 (Why is no real title available?)
• Minimizing Generalized Büchi Automata
• scientific article; zbMATH DE number 7649889 (Why is no real title available?)
• Minimization of automata for liveness languages
• Minimisation in logical form
• Learning automata and transducers: a categorical approach
• Automata and coalgebras in categories of species
• Bicategories of automata, automata in bicategories

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4580203)