DFA minimization algorithm

This algorithm minimizes a given DFA by using the partitioning method. The program reads the DFA from the DFA.json file, and then applies the algorithm on it and displays the minimized version of the DFA into the terminal.

Installation

• Make sure you have Python310+ installed
• Clone this repository
• Optionally, edit the DFA from the dfa.json file
• Run the program by using python3 main.py

Note: the program will NOT always take the states in the same order, so the final DFA might have different state names, but they will always work the same.

TODOs:

• Make the program always take the states in the same order, so the output will always be the same

---

Was this helpful? Please give the repo a star!