state_table_minimization

Algorithm for reducing Incompletely Specified Machines

Program takes 1 argument, which is a csv file specifying the state table. Example program execution:

python stm.py example_input.csv