Theory of computation

DFA minimisation

Minimise a DFA by partition refinement: remove unreachable states, split k-equivalence groups and draw the minimal DFA, with practice.

All 62 visualisers