Машина Тьюринга

На ленте число 0 представляется 1-й единицей: натуральное число n представляется n+1-й единицей

0 -> 1 , 1 -> 11 , 2 -> 111

Значения аргументов x,y,z на ленте записываются через *

x=1 y=2 z=3

(x,y,z) -> 11*111*1111

Нужно написать алгоритм вычисления функции F и программу, его реализующую. По завершению работы алгоритма на ленте должно записано только значение F

Нужно написать алгоритм усеченной разности f(x,y) = x (минус с точкой сверху) y = x-y, если x>=y, иначе если x<y, то пишем ноль(то есть единицу на ленте)

Внешний алфавит машины: альфа ={S0,S1,…,Sn} S1,…,Sn символы которые можно записывать в ячейки ленты, S0- символ обозначающий пустую ячейку.

Внутренний алфавит бетта = {q0,q1,…,qi}, qi называет состояние машины, если q0 встречается на пути, то машина завершает работу, q1 обычно обозначает начальное состояние.

ПРИМЕРЫ- 1) qi Sj Sk qm - нахожусь напротив ячейки где написано Sj в состоянии ячейки qi, стереть Sj, записать Sk, перейти в состояние qm 2) qi Sj R qm - сдвинуться на одну ячейку вправо и перейти в состояние qm   3) qi Sj L qm - сдвинуться на одну ячейку влево и перейти в состояние qm

После написания команд, коих может быть больше 50 штук, нужно каждую реализовать через 3 команды, они нужны для эмуляции работы Машины Тьюринга

Примеры того как должны выглядеть команды по принципу qi Sj Sk qm лежат в file1 и как должен выглядеть код будет лежать в file2,в этом файле представлена попытка оформить данную задачу, проблема в том, что она запускает бесконечный цикл из которого не выходит, нужно чтобы реализовывалась усеченная разность(моя лично идея была в том чтобы он прошелся по всем числам икса и игрека, понял что из этого больше и сделал разность, как только он на числе икса он делает пометку(заменяет его на другой символ, например на большой икс у числа икса) и переходит к игреку и так же делает пометку с заменой), три команды которые реализуют движение вправо, влево и замену лежат в file3

Проще будет написать команды с самого начала, а дальше заменить их на соответствующие команды из трех предложенных

чтобы увидеть как работает код из file2, советую использовать компилятор кода для MATLIB, ссылка на него будет лежать так же в file2