T 1 ← Ψ −1 (T 0 ) (consists of reinserting in T 0 the transitions of T which where removed).
with our new approach, we do not have to take into account the number of transducers R i and their auxiliary labels as was the case with the approach used before.