Minimalizace přechodové tabulky:

Minimalizace přechodů vnitřního stavu s použitím trojúhelníkové tabulky.

Kódování:
1 → 00
2 → 01
3 → 11
4 → 10

Zakódovaná přechodová tabulka:

Zminimalizovaná a zakódovaná přechodová tabulka.