Name: ____________________________________________________ Alpha: _____________________

Output: TM M such that $(s_1,\lambda,w_1,w_2\cdots w_k) \Rightarrow_{M_1}^* (h,x,y,z)$ and $(s_2,x,y,z) \Rightarrow_{M_2}^* (h,x',y',z')$ if and only if $(s,\lambda,w_1,w_2\cdots w_k) \Rightarrow_{M}^* (h,x',y',z')$, where $s$ is the start state of $M$