Automaten-Minimierer

Validiert und minimiert einen kleinen deterministischen endlichen Automaten aus JSON.

Validate and minimize a small deterministic finite automaton from JSON.