Мінімізація автомата

Перевіряє й мінімізує малий детермінований скінченний автомат із JSON.

Validate and minimize a small deterministic finite automaton from JSON.