Bug fix: checking for accepting states of DFA