Validate and minimize a small deterministic finite automaton from JSON.
JavaScript is required. File-service operations request explicit consent before upload.