removeDeadStates

Removes transitions to dead states (a state is "dead" if it is not reachable from the initial state or no accept state is reachable from it.)