Brzozowski’s Algorithm (Co)Algebraically

DOI10.1007/978-3-642-29485-3_2zbMath1354.68185OpenAlexW2171773189MaRDI QIDQ2897941

Marcello M. Bonsangue, Filippo Bonchi, Alexandra Silva, Jan J. M. M. Rutten

Publication date: 16 July 2012

Published in: Logic and Program Semantics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-29485-3_2

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70)

Related Items (7)

Varieties and covarieties of languages (extended abstract) ⋮ Coalgebraic constructions of canonical nondeterministic automata ⋮ 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 ⋮ Automata Learning: A Categorical Perspective ⋮ Unnamed Item

This page was built for publication: Brzozowski’s Algorithm (Co)Algebraically