Minimization via Duality

DOI10.1007/978-3-642-32621-9_14zbMath1361.68157OpenAlexW1724302595MaRDI QIDQ2915026

Clemens Kupke, Prakash Panangaden, Nick Bezhanishvili

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

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

Related Items

Minimality Notions via Factorization Systems and Examples ⋮ Equations and Coequations for Weighted Automata ⋮ Coalgebraic constructions of canonical nondeterministic automata ⋮ Singular value automata and approximate minimization ⋮ Coalgebraic trace semantics via forgetful logics ⋮ The dual equivalence of equations and coequations for automata ⋮ Coalgebraic minimization of automata by initiality and finality ⋮ Algebra-coalgebra duality in brzozowski's minimization algorithm ⋮ Languages and models for hybrid automata: a coalgebraic perspective ⋮ Unnamed Item ⋮ Stone duality, topological algebra, and recognition. ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item