hasDeadStatesToAccept

Returns true if there are dead states that reach an accept state.