Pic graham3

Old Stack =S_k.₁={P₀,...,P_a,P_t2,P^}

P_k right of linę P_t2P_kA => pop P_kA off stack P_k right of linę P_t3P₂ => pop P_t2 off stack P_k left of linę P_fĄP_a => push P_k onto stack New Stack = S_k = {P₀,...,P_f2,P_k}