Method RemoveDeadTransitions

Removes transitions to dead states and calls Reduce(). (A state is "dead" if no accept state is reachable from it.)