/dfa_minimization_py

This was a group project for my Theory of Automata course in the 4th semester. We used python and and its numerous libraries such as GraphViz, to visually demonstrate the minimization of a DFA, using the Myhill-Neroide theorem.

Primary LanguageJupyter Notebook

Watchers