To show that the resulting grammar is equivalent to the original one, we can
follow the same line of reasoning as in Theorem 6.1.
Example 6.6
Remove all unit-productions from
The dependency graph for the unit-productions is given in Figure 6.3; we see
from it that
. Hence, we add to the
original non-unit productions
Figure 6.3
the new rules
to obtain the equivalent grammar