NFA run & accept redefined
DFA difference