Minimization of DFA - Table Filling Method

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.

Quick Links

• Jupyter Notebook
• DFA Class

Usage

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'