A STAG tree transformation can also be computed by an STSG using explicit substitution.
another effect of this restriction is that the number of operable nodes (i.e., the nodes to which an adjunction must still be applied) is known at any given time.