/DFA_Minimization-in-Python

Python code for deterministic finite automaton (DFA) minimization and visualization. Includes reachability analysis, partition refinement, and Graphviz-based visualization of minimized DFA. User input-driven, with tabular output using tabulate.

Primary LanguagePythonMIT LicenseMIT

Stargazers