Program for comparing NFA reduction with DFA minimization