For Sigma={a,b}, design a TM that accepts L={a^(n)b^(n)n >= 1}.

For ={a,b}, design a TM that accepts L={anbnn1}

For) = {a, b), design a TM that accepts L = {an bit In 2 1).