DFA run & accept redefined