Máquina de Turing que genera las cadenas del lenguaje L={ a^nb^2na^n, con n mayor o igual a 0}

Lo hemos hecho una multicinta en la q en la primera se hacen operaciones y en la segunda se escribe el resultado.

Empezamos con las dos cintas en blanco y de q0