как мне дать подробное описание (словами) машины Тьюринга, которая принимает следующий язык:
L = {a ^ (k) ba ^ (k) | k элемент N}