Goes to the start state of M, and simulates W on input W. Again, M Prime can do that, because the transducer sees both M and W, and makes the transition function of M part of the transition function of M Prime. 