Construct TMs in compositional tabular forms (multitape and/or nondeterministic if necessary!) that perform the following computations: (i) (s, #w) |---*(h, #w) (ii) (s, #w) |---*M (h, #ww) (iii) (s, #w) |---*M (h, #w#w) (iv) (s, #w) |---* , (h, #a"b") where we (a+b)* the number of as and bs in w are both equal to the integer n > 0 (v) Same question as in part (iv) except that the initial w E (a+b+c+d)*