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.
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'