Backward translation of states of automata