In each instantiation, a transition sequence y for x is a sequence of configurations that are obtained by applying transitions t 1 ...t n ∈ T sequentially.
starting with an initial configuration c 0 = c s (x), we find y = c 0 , ..., c n such that c i+1 = t i+1 (c i ) and c n ∈ C t .