Provide a “high-level” description for Turing machines that accept the following languages on $\{a,b\}$. For each problem, define a set of appropriate macroinstructions that you feel are reasonably easy to implement. Then use them for the solution.
$L = \{a^nb^m : m = n^2,n\geq1\}.$