Description

brzozowski performs a minimization of the possibly cyclic DFA A and copies the result into the DFA B. This is a generic implementation, on acyclic structures the algorithm acyclic_minimization is much more efficient.