a. Construct a Turing machine for the following language: {a^* b^*}

b. Construct a Turing machine for the following language: {a^n b^m a^n+m d^m+2 : n,m> or equal 1}