Construct TMs in compositional tabular forms (multitape and/or nondeterministic if necessary!)
that perform the following computations:
(i) $(s, \#w) \mid---*_{M} (h, \#w^{R})$
(ii) $(s, \#w) \mid---*_{M} (h, \#ww)$
(iii) $(s, \#w) \mid---*_{M} (h, \#w\#w^{R})$
(iv) $(s, \#w) \mid---*_{M} (h, \#a^{n}b^{n})$ where $w \in (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 \in (a+b+c+d)^{*}$.
