Примерный формат для многоленточной машины Тьюринга.
Символы и состояния в машине Тьюринга - произвольные строки без пробелов. 
формат многоленточной машины:
<n = ntapes> (Количество лент)
(<state> <letter_1> <letter_2> ... <letter_n> -> <state_to> <letter_to_1> <direction_1> ... <letter_to_n> <direction_n>)
Стартовое состояние - S, допускающее - AC, отвергающее - RJ, blank - _ (подчёркивание)
Например:
2
S 0 0 -> a 1 > 2 >
a 1 1 -> S 333 ^ szdf <
a 2 3 -> AC 333 ^ _ ^