Абстрактная машина
Cтраница 1
Абстрактная машина может быть реализована на любом компьютере, если рассматривать инструкции абстрактной машины как макросы. [1]
Абстрактная машина RA ( Relational Algebra) отражает все эти допущения: предполагается, что в каждый момент только часть базы данных находится в основной памяти и скорость, а не память является ограничивающим фактором. [2]
Различные абстрактные машины, рассматриваемые в этой главе, достаточно просты, однако заслуживают подробного изучения, поскольку инкапсулируют в себе конкретные ограничения, которые могут оказаться критичными для некоторых приложений сортировки. Аппаратные средства сортировки низкого уровня должны состоять из простых компонентов; внешняя сортировка в общем случае требует поблочного доступа к особо крупным файлам данных, а параллельная сортировка накладывает определенные ограничения на связи с процессорами. С одной стороны, мы не можем в полной мере воспользоваться подробной моделью машины, которая полностью соответствует конкретной реальной машине, с другой стороны, абстракции, которые мы рассматриваем, приводят нас не только к теоретическим формулировкам, содержащим информацию о наиболее важных ограничениях, но также и к весьма интересным алгоритмам, которые можно использовать непосредственно на практике. [3]
Эта абстрактная машина предназначена для формализации понятия машины, которая обозревает слова из А, начиная слева, и действует шаг за шагом согласно своей программе. [4]
 |
Потоковые инструкции для функции Фибоначчи. [5] |
В абстрактной машине, которую мы сейчас описываем, каждая вершина в потоковом графе соответствует инструкции в потоковой программе. [6]
Тьюринга U Абстрактная машина, использованная Тьюрингом для точного определения понятий алгоритма и вычислимости. [7]
Что такое абстрактные машины Поста и Тьюринга, для чего они предназначены. [8]
В противном случае абстрактная машина ( А, В, Е, F) называется неуниверсальной. [9]
В противном случае абстрактная машина ( А, В, Е, V) называется неуниверсальной. [10]
Фортран для какой-либо абстрактной машины, которая с помощью подходящих интерпретирующих механизмов может быть реализована на реальной. [11]
Базируется на определении абстрактной машины, выполняющей программу пользователя, с набором команд, операндов, операций, типов данных. Этот подход характерен для большинства традиционных языков высокого уровня: Фортран, Кобол, ПЛ / 1, Бейсик, Паскаль, Ада. [12]
Для описанной нами абстрактной машины с размеченной памятью характерно, что все выполняемые ею операции являются локально заданными. Память этой машины имеет конечную длину. [13]
МОП является примером энергичной абстрактной машины и может рассматриваться как оптимизированная версия SECD-машины. [14]
Псевдокод - система команд абстрактной машины, реализуемая с помощью программного интерпретатора. [15]
Страницы: 1 2 3 4