Brzozowski's algorithm (co)algebraically

Citation:
Bonchi F, Bonsangue M, Rutten J, Silva A.  2011.  Brzozowski's algorithm (co)algebraically. Software Engineering [SEN]. :1-13.

Report Date:

December

Report Number:

SEN-1114

Abstract:

We give a new presentation of Brzozowski's algorithm to minimize finite automata, using elementary facts from universal algebra and coalgebra, and building on earlier work by Arbib and Manes on the duality between reachability and observability. This leads to a simple proof of its correctness and opens the door to further generalizations.

Citation Key:

tr-brz
PreviewAttachmentSize
18796d.pdf251.48 KB