Nondeterministic Moore automata and Brzozowski's minimization algorithm

DOI10.1016/J.TCS.2012.04.029MaRDI QIDQ442154zbMATHOpenAlexFDO

Authors Antonio Restivo, M. Sciortino, G. Castiglione

Publication date 9 August 2012

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2012.04.029

zbMATH Keywords

automata minimizationBrzozowski's minimization algorithmnondeterministic Moore automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Nondeterministic Moore automata and Brzozowski's algorithm
• Brzozowski's minimization algorithm -- more robust than expected (extended abstract)
• Algebra-coalgebra duality in Brzozowski's minimization algorithm
• Minimisation of automata
• Brzozowski's algorithm (co)algebraically

Cites work

• scientific article; zbMATH DE number 1361134 (Why is no real title available?)
• scientific article; zbMATH DE number 1543070 (Why is no real title available?)
• scientific article; zbMATH DE number 798342 (Why is no real title available?)
• scientific article; zbMATH DE number 7354705 (Why is no real title available?)
• scientific article; zbMATH DE number 3264952 (Why is no real title available?)
• scientific article; zbMATH DE number 3420624 (Why is no real title available?)
• scientific article; zbMATH DE number 3189697 (Why is no real title available?)
• A challenging family of automata for classical minimization algorithms
• Continuant polynomials and worst-case behavior of Hopcroft's minimization algorithm
• Experimental Evaluation of Classical Automata Constructions
• Hopcroft's algorithm and tree-like automata
• Lattice Automata
• Minimization algorithms for sequential transducers
• Minimizing deterministic lattice automata
• On extremal cases of Hopcroft's algorithm
• On the State Minimization of Nondeterministic Finite Automata
• Optimal simulation of self-verifying automata by deterministic automata
• Weighted automata algorithms

Cited in

(1)

• Nondeterministic Moore automata and Brzozowski's algorithm

Describes a project that uses

Uses Software

• fsm2

This page was built for publication: Nondeterministic Moore automata and Brzozowski's minimization algorithm

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