Before we can extend it to the weighted case, we need to make sure that the sum in the definition of composition is finite.
we achieve this by requiring that • for every t ∈ T Σ and s ∈ S 1 there are finitely many u ∈ T ∆ such that t M may not have cyclic input ε-rules or M may not have cyclic output ε-rules.