@classmethod
def _PosConcatTransitionSet(cls, pos, transition_set):
    """Implement definition 11.3 in B{HOV09}"""
    ts = []
    for q, psi in transition_set:
        ts.append((pos + q, cls._PosConcatUpdateInstruction(pos, psi)))
    return ts
