In the following, we provide a more formal characterization of the strong and weak generative power of ITSG with respects to context-free grammar (CFG) and TSG.
6 This restriction is compensated for by the existence of the Forward Substitution operation, which has no analog in the Earley algorithm.