Question 1:

Design state diagrams for turing machine TMs recognize the following languages (show drawing and steps in details for each answer):

a) {a*}

b) {Ak bk ck| k 0}

c) Erasing the first symbol in the right side of a string.

d) Adding 1 to the binary number.