<<
>>

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

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

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

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

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

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

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

следующая.

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

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

<< | >>
Источник: Конспекты лекций по математической логике. 2017

Еще по теме 1.1.1 Машина с неограниченными регистрами (МНР).:

  1. Раздел XVI ПРЕСТУПЛЕНИЯ В СФЕРЕ ИСПОЛЬЗОВАНИЯ ЭЛЕКТРОННОВЫЧИСЛИТЕЛЬНЫХ МАШИН (КОМПЬЮТЕРОВ), СИСТЕМ И КОМПЬЮТЕРНЫХ СЕТЕЙ
  2. Статья 361. Незаконное вмешательство в работу электронно-вычислительных машин (компьютеров), систем и компьютерных сетей
  3. Статья 415. Нарушение правил вождения или эксплуатации машин
  4. Ко
  5. Нарушение правил вождения или эксплуатации машин (ст. 350 УК РФ)
  6. Например, две фразы: «Я купил новую машину «Волга» и «Я купил новую машину - иномарку» в подавляющем большинстве случаев будут
  7. Экспансионистские претензии Германии подкреплялись укреплением военной машины империи, основу которой
  8. Пользовавшийся неограниченным доверием царя, А.
  9. 60 Податок з власників транспортних засобів та~інших самохідних машин і механізмів: платники, об'єкти, ставки, порядок зарахування.
  10. Розділ XVII. Злочини у сфері використання електронно-обчислювальних машин (комп'ютерів), систем та комп'ютерних мереж
  11. § 1. Поняття злочинів у сфері використання електронно-обчислювальних машин (комп'ютерів), систем та комп'ютерних мереж
  12. § 2. Види злочинів у сфері використання електронно-обчислювальних машин (комп'ютерів), систем та комп'ютерних мереж
  13. Незаконне втручання в роботу електронно-обчислювальних машин (комп'ютерів), систем та комп'ютерних мереж
  14. Порушення правил водіння або експлуатації машин
  15. 1. Поняття злочинів у сфері використання електронно-обчислювальних машин (комп'ютерів), систем та комп'ютерних мереж
  16. 2. Види злочинів у сфері використання електронно-обчислювальних машин (комп'ютерів), систем та комп'ютерних мереж
  17. Модель обслуживания машинного парка
  18. 1.1 Различные подходы к определению алгоритма:
  19. 1.1.1 Машина с неограниченными регистрами (МНР).
  20. ТИПОВАЯ УЧЕТНАЯ ПОЛИТИКА В ОБЩЕСТВЕННОМ ПИТАНИИ