Написать формулу числовой функции f (x1,x2...xп), вычислимой машиной Тьюринга с множеством внутренних состояний {0,2,3,4,5,6}, где 0 - заключительное, а 1 - начальные состояния, если машина задана своей программой.
Проверить работу машины Тьюринга с некоторым набором значений аргументов
Ниже приведён один из вариантов решения задачи (при условии, что входной цепочке на ленте кодируются два числа в унарном представлении, разделённые специальным символом – например, единицей, отличной от символа единицы, здесь обозначенной цифрой 7). В этом варианте машина Тьюринга реализует алгоритм «вычитания»: она на входе получает два числа, представленных в виде блоков единиц, разделённых символом 7, и на выходе остаётся унарная запись разности (если первое число не меньше второго) или нулевой результат (если вычитание ведёт к отрицательному числу).
------------------------...
Внутри — полный разбор, аргументация, алгоритм решения, частые ошибки и как отвечать на каверзные вопросы препода, если спросит
Попробуй решить по шагам
Попробуй один шаг и продолжи в режиме обучения или посмотри готовое решение
