Как построить машину Тьюринга для следующего языка?

Question

Есть идеи, как построить машину Тьюринга, которая распознает следующий язык? {a ^ 2n b ^ (n ^ 2-3) | n ≥ 3}