313
правок
Изменения
→Теорема о примитивной рекурсивности вычислимых функций
Каждому состоянию [[Машина Тьюринга|МТ]] поставим в соответствие список из четырех чисел <tex> [L,R,S,C] </tex>, где:
<tex> L </tex> {{- --}} состояние [[Машина Тьюринга|МТ]] слева от головки ленты, представлено в виде числа в системы счисления с основанием равным алфавиту [[Машина Тьюринга|МТ]]. Младшие разряды находятся возле головки. Пробелу соответствует ноль, чтобы число было конечным.
<tex> R </tex> {{- --}} состояние [[Машина Тьюринга|МТ]] справа от головки, представлено аналогично <tex> L </tex> только возле головки [[Машина Тьюринга|МТ]] находятся старшие разряды.
<tex> S </tex> {{- --}} номер текущего состояния
<tex> C </tex> {{- --}} символ на который указывает головка ленты.
Тогда всем переходам соответствует функция <tex> \mathrm{f}([L,R,S,C]) </tex> принимающая состояние [[Машина Тьюринга|МТ]] и возвращающая новое состояние.
