Примитивно-рекурсивная функция на машине Тьюринга

[nulpatrol]

Видел во многих книгах утверждение, что любую примитивно-рекурсивную функцию можно реализовать на машине Тьюринга. Даже с доказательством видел. Также находил реализацию $O(x), S(x), I$. Но ни в одной книге, из просмотренных мной нет пошагового обьяснения того, как реализовать саму рекурсию или композицию функций.

Что это? Нет общего подхода или я просто плохо искал? Если второе, то подскажите в каких книгах можно подробно об этом прочитать.

P.S. Нужно для реализации вычисления ф-ии $f(x)=2x$ на МТ. Я так понимаю, что это связано как раз таки с реализацией примитивно-рекурсивной ф-ии на МТ. Если здесь ошибаюсь, то скажите каким образом решать такие проблеммы.

[Lia]

Тема перемещена из форума «Помогите решить / разобраться (М)» в форум «Карантин»
Запишите формулы в соответствии с требованиями Правил форума, т.е. в $\TeX$.
Краткие инструкции можно найти здесь: topic8355.html и topic183.html.
Кроме этого, в теме Видео-пособия для начинающих форумчан можно посмотреть видео-ролик "Как записывать формулы".

После того как исправите сообщение, сообщите об этом в теме Сообщение в карантине исправлено, и тогда тема будет возвращена.

[Lia]

Тема перемещена из форума «Карантин» в форум «Помогите решить / разобраться (М)»
Причина переноса: не указана.

[Lukum]

Тема недавно была про умножение topic81199.html