Consider the following TM M: M =On input x:

1. If x = w, reject 2. If x != w,run M on input w and accept if M does.

From the above description, L(M) = {w} if M accepts w. Otherwise, L(M) = . Construct the TM M for each specification where = {0, 1}:

(a) L(M) = if M accepts w. Otherwise, L(M) = {x | x ends with a 1}.

(b) M accepts exactly two string if M accepts w. Otherwise, M accepts more than two strings or less than two strings.