Automaton minimization

Nerode equivalence, the minimal automaton and its universal property, and the minimization algorithms of Moore, Hopcroft and Brzozowski with their correctness and cost.

• Myhill–Nerode theorem
• Minimal deterministic automaton
• Brzozowski's algorithm
• Moore's algorithm
• Hopcroft's algorithm

The dependency explorer needs JavaScript and its graph data.

Download the complete graph data.