Minimalizator automatu

Sprawdza i minimalizuje mały deterministyczny automat skończony z JSON.

Validate and minimize a small deterministic finite automaton from JSON.