Construct a Turing machine that transforms an initial tape of the form 0m10" (m and n O's with m, n >0 separated by a 1) into omi_0(m and n 0's with m, n >0 separated by a 1 followed by a blank). The tape head should be at the 1 before and after the computation. Run your machine on the input 00100