Машина с неограниченными регистрами (МНР).

Имеется некое устройство, в котором счетное число ячеек памяти (регистров), в которых хранятся целые числа.

Допустимые команды:

   Z(n)      — обнуление регистра Rn.

   S(n)      — увеличение числа в регистре Rn на 1.

   T(m,n)  — копирует содержимое Rm в регистор Rn.

   I(p,q,n) — если содержимое Rp = Rq то выполняется команда с номером n , если нет

   следующая.

  Программа для МНР должна быть последовательностью команд Z, S, T, I  с определенным порядком, выполняемые последовательно.

 

  Тезис Черча (Churcha): Первое и второе определение алгоритма эквивалентны между собой. Любой неформальный алгоритм может быть представлен в программе для МНР.

 

Логика - доступно для всех