compared to the general FST baseline.
to ensure that t 0 defines relation for all possible string pairs (x, y) ∈ Σ * × ∆ * , we add all arcs of the form a = (s 1 , s 1 , ω, σ, δ), ∀(σ, δ) ∈ Σ × ∆ to t .