This means that longer computations over substrings of w are built by combining shorter ones.
the inference rule sh a j asserts the existence of I-computations consisting of a single sh a j transition.