The program code is presented in Jupiter Notebook. The algorithm reads the DFA from a text file, displays the image of the read DFA, performs minimization and displays the image of the minimized DFA. The option of generating random DFA is also available. To display the graph, the Graphviz library is used.
The program is implemented as part of the Pavel Panteleev's 'Compilers construction' course.