CLI comparing Moore and Hopcroft DFA minimization with partition-split traces, equivalence verification, performance metrics, and SVG graphs
formal-languages automata-theory dfa-minimization deterministic-finite-automata hopcroft-algorithm partition-refinement moore-algorithm
-
Updated
Oct 8, 2026 - Rust