К сожалению, количество языков, доступных для машины Тьюринга, весьма ограничено. А ведь это очень интересная платформа. Надо бы сделать для неё компилятор Brainfuck.

Для лучшей переносимости разработку предлагаю вести на языке алгорифмов Маркова

http://www.iwriteiam.nl/Ha_bf_Turing.html

На языке флгорифмов эти преобразования, кстати, довольно легко описываются. Всё украдено до нас. Как всегда.