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

minimizationsubsequential transducersBrzozowskiś minimization algorithmChoffrut's minimization algorithmfunctor automata

Mathematics Subject Classification ID

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

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

(10)

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

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)