Как смоделировать f(1^n)=1^y, где y=1+2+...n в симуляторе машины Тьюринга?
Я даже не представляю, как это создать. Я могу создать функцию перехода для `, но это выглядит как N факториал:(
Пожалуйста, я пытаюсь заставить это работать как-то, но я даже не уверен, действительно ли это факториал N или что-то еще.
Спасибо за помощь.
Изменить: я тестировал его для ввода 1111 (4) и вывод должен быть: 1111111111 (10). Вот я и подумал: 1111 на 4! вот 1111 3! 111 2! 11 1! 1, то есть 10x 1. Так что я думаю, что это может быть факториалом.
Изменить: 2 ленты ленты Я попробовал машину ленты 2 ленты, и она работает для 1111, но не для других n.