Согласно приведенному выше комментарию, это определение действительно похоже на регистровую машину . Держу пари, определение неверное. Регистровая машина может иметь или не иметь бесконечное число регистров, но размер регистров всегда бесконечен. Бьюсь об заклад, что ОЗУ имеет потенциально бесконечные регистры конечного размера. Я изучу это во время своих путешествий по «абстракционному компьютеру» и внесу необходимые изменения. wvbailey Wvbailey 19:37, 11 сентября 2006 г. (UTC)
Оказывается, что, в отличие от регистровой машины, ОЗУ (бесконечно большие «регистры» памяти и либо конечное, либо бесконечное число «регистров» памяти) могут подвергаться «вычислениям адресов», т. е. память более или менее индексируется и «можно взять адрес и добавить к нему значение... Ссылка на элементы... становится простым случаем знания адреса первого из первого элемента, а затем добавления смещения к этому адресу для получения желаемого элемента".
Как и в регистровой машине, все вычисления происходят «в регистрах» (а не в «аккумуляторе» или «аккумуляторах»).
Итак, мы (возможно) имеем здесь машину Пост-Тьюринга с «лентой», разработанной как индексированная оперативная память вместо сдвиговых регистров, причем индексный регистр загружается/забивается командой (?). У нас есть прямая адресация? Нам нужно больше ссылок, чем это (мягко говоря). Смещение подразумевает суммирование значения в регистре плюс значение смещения, предоставленное инструкцией. Это не то же самое, что увеличение-уменьшение значения индексного регистра. И спецификации других авторов (крайне расплывчатые), похоже, не согласуются с этим. wvbailey Wvbailey 01:20, 12 сентября 2006 г. (UTC)
Их оперативная память имеет конечное число арифметических регистров, каждый из которых, подобно регистровой машине, может выполнять арифметические операции. Есть лента для хранения содержимого каждого регистра, лента для хранения «счетчика адресов», лента для хранения «регистра адреса памяти» (см. их теорему 7.6, стр. 167).
В регистровой машине мы видим, как Мельзак превращает свою машину во что-то еще, добавляя «окончательную модификацию», «команду» под названием «Ай Адж Ак»: