Reduces a given DFA to minimum number of states using the table filling method and renders the result as a dot graph. It removes unreachable states before processing.

• Jupyter Notebook
• DFA Class

Note: Please use a virtualenv.

git clone https://github.com/nvnmo/dfa-minimization.git 
cd dfa-minimization
pip install -r requirements.txt
jupyter notebook 'DFA minimization.ipynb'