Абстрактная машина

Совокупность в-алгорифма У при основании и основания Е называется абстрактной машиной и обозначается символом (Л, В, Е, V). [c.58]

Абстрактные машины с размеченной памятью. [c.59]

Совокупность множества Е и описанного в-алгорифма называется абстрактной машиной с размеченной памятью. [c.62]

Ввиду того, что набор Н типов команд и групповой закон композиции 2 вполне определяют Е, то можно сказать, что абстрактная машина с размеченной памятью представляет собой совокупность конечного набора Н типов команд, закона композиции 2 и описанного выше в-алгорифма. [c.62]

И. Реальные программно-управляемые машины как физические модели абстрактных машин с размеченной [c.62]

Принципиально отличается реальная машина от моделируемой ею абстрактной машины тем, что ее запоминающие устройства состоят лишь из конечного числа ячеек, и тем, что каждая ее ячейка может хранить слово лишь ограниченной длины. Отсюда, вытекает, что локальные операции, выполняемые реальной машиной, в качестве исходных слов и результатов имеют слова ограниченной длины. Во многих существующих программно-управляемых машинах алфавиты А и В между собой равны и каждый из них равнозначен алфавиту 0,1 . [c.63]

Уточнение понятия алгорифма. Алгорифм выполнения. Абстрактная машина. Пусть алфавит С представляет собой объединение алфавитов Л и В (которые, в частности, могут быть равны). [c.56]

Любой алгорифм из семейства родственных алгорифмов, имеющих в-алгорифм V, называется выполнимым абстрактной машиной (Л, В, Е, V). [c.58]

Абстрактная машина (Л, В, Е, V) называется укмверсалькой, если, каковы бы ни были алфавит О и алгорифм R над этим алфавитом, существует алгорифм Н" над алфавитом А, равнозначный алгорифму при некотором элементарном кодировании, выполнимый абстрактной машиной (А, В, Е, 1 . В противном случае абстрактная машина А, В, Е, 0 называется неуниверсальной. [c.59]

Программно-управляемую машину можно называть универсальной, если моделируемая ею абстрактная машина с размеченной памятью является универсальной. Благодаря тому, что количество ячеек памяти и их разрядность являются у реальной машины ограниченными, семейство родственных алгорифмов, выполнимых с помощью этой машины, конечно (а множество всевозможных алгорифмов бесконечно) и, значит, в прямом смысле этого слова универсальных программно-управляемых машин нет. Более правильно деление машин на специализированные и неспециализированные. [c.63]

Справочник химика 21

Химия и химическая технология