Построить машину Тьюринга, которая для любого слова w ∈ {а, b}* переводит начальную конфигурацию вида qw в заключительную конфигурацию !аa…abb..b, где a повторяется n раз (n — число букв а в слове w), а b — m раз (m — число букв b в слове w (! — заключительное состояние).