Brzozowski’s Algorithm (Co)Algebraically
From MaRDI portal
Publication:2897941
DOI10.1007/978-3-642-29485-3_2zbMath1354.68185MaRDI 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
68Q70: Algebraic theory of languages and automata
Related Items
Unnamed Item, Algebra-coalgebra duality in brzozowski's minimization algorithm, Automata Learning: A Categorical Perspective, Varieties and covarieties of languages (extended abstract), The dual equivalence of equations and coequations for automata, Coalgebraic constructions of canonical nondeterministic automata, Coalgebraic minimization of automata by initiality and finality