P = S ( x ) -> ( T, y ), T ( y ) -> ( U, x' ), U ( x' ) -> S'
P = S ( x ) -> ( T, y ),
T ( y ) -> ( U, x' ),
U ( x' ) -> S'
P = S ( x ) -> ( T, y ),T ( y ) -> ( U, x' ),U ( x' ) -> S'