Brzozowski minimization

Pairings in the atlas

Double reversal-determinizationstandardDFA minimization automata-languages

Rivals: other methods for the same problems

Where it sits

automata-languages · Formal Languages & Compilers