Minimization via duality

DOI10.1007/978-3-642-32621-9_14MaRDI QIDQ2915026zbMATH OpenOpenAlexFDO

Authors Nick Bezhanishvili, Clemens Kupke, Prakash Panangaden

Publication date 21 September 2012

Published in Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-32621-9_14

Mathematics Subject Classification ID

Categories of machines, automata (18B20) Algebraic theory of languages and automata (68Q70)

Recommendations

• Algebra-coalgebra duality in Brzozowski's minimization algorithm
• scientific article; zbMATH DE number 7199591
• scientific article; zbMATH DE number 3874624
• scientific article; zbMATH DE number 6917169
• scientific article; zbMATH DE number 4028907

Cited in

(21)

• Coalgebraic minimization of automata by initiality and finality
• Languages and models for hybrid automata: a coalgebraic perspective
• Minimizing maximum indegree
• Hybrid parametric minimum principle
• Equations and coequations for weighted automata
• Coalgebraic trace semantics via forgetful logics
• OPTIMAL HYPER-MINIMIZATION
• Minimizing the Difference of Dual Functions of Two Coradiant Functions
• A categorical approach to syntactic monoids
• The dual equivalence of equations and coequations for automata
• Minimality Notions via Factorization Systems and Examples
• scientific article; zbMATH DE number 7577568 (Why is no real title available?)
• Singular value automata and approximate minimization
• scientific article; zbMATH DE number 7199591 (Why is no real title available?)
• scientific article; zbMATH DE number 7204386 (Why is no real title available?)
• Algebra-coalgebra duality in Brzozowski's minimization algorithm
• Direct and dual laws for automata with multiplicities
• Stone duality, topological algebra, and recognition.
• Minimisation in logical form
• Optimal approximate minimization of one-letter weighted finite automata
• Coalgebraic constructions of canonical nondeterministic automata

This page was built for publication: Minimization via duality

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