(a) Design a Turing Machine that recognizes the following language.
L_(1)={(w in {a,b}^(*):):}
Every
a
is immediately followed by
b
) (5 marks) (b) Design a Turing Machine that recognizes the following regular express
(a+b)**aba(ab+a)**(5 marks )