Minimal deterministic finite automaton