Пример для многоленточной машины Тьюринга

[Max$$]

Есть ли у кого пример программы для многоленточной машины Тьюринга, не могу разобраться...Любой пример, не важно какая задача. Принцип написания для нескольких лент ускользает. Не понимаю...Используемый интерпретатор AbstractDevelop.

[Black Fregat]

Насколько я понимаю, с точки зрения теории многоленточная машина полностью эквивалентна одноленточной алфавитом, расширенным до декартова произведения алфавитов лент.

А практически - вероятно, на отдельную ленту разумно выносить всякие пометки, признаки и т.д.

[Max$$]

Принцип записи строки другой совсем:
1: {
(0,0,~,0) = 0,0,0,0 -> 2, s,s,l,s
(0,0,~,1) = 0,0,1,1 -> 2, s,s,l,s
(0,0,~,2) = 0,0,2,2 -> 2, s,s,l,s
(0,0,~,3) = 0,0,3,3 -> 2, s,s,l,s..... } Так понимаю, что где ~ это лента с результатом, она не последняя почему-то. Следуя этому принципу, если нужно сложить 5 и 6 на разных лентах, а итог на 3 ленте, то должно быть как то так:
1: {
(5,~,6) = 5,1,6 -> 2, s,l,s}
2: {
(~,~,~) = ~,1,~ -> 3, s,s,s}

Но не работает: " ....все проходы машины Тьюринга должны соответствовать одинаковому кол-ву лент..."