from P which simulate the behavior of P as follows.
such that .
Contains all the moves of P and also the following.
By using rule 1, P' simply enters the initial configurations of P pushing Z0above the bottom of stock marker Z0'. Then P' simulates the behavior of P on any input string. When P accepts