Cтраница 4
Набор правил переписывания, основанный на категорийной комбинаторной логике, редуцирует категорийные формы Я-вы-ражений к СЗНФ и формирует основу категорийной абстрактной машины. [46]
Ввиду того, что набор Н типов команд и групповой закон композиции 2 вполне определяют Е, то можно сказать, что абстрактная машина с размеченной памятью представляет собой совокупность конечного набора Н типов команд, закона композиции 2 и описанного выше в-алгорифма. [47]
Чтобы разработать новый алгоритм, мы даем определение некоторой абстрактной машины, которая инкапсулирует основные свойства реальной машины, разрабатываем и анализируем алгоритмы для этой абстрактной машины, затем пишем программы лучших алгоритмов, тестируем эти программные реализации, после чего вносим усовершенствования как в сами алгоритмы, так и в их программные реализации. [48]
Она основана на категориальной комбинаторной логике. Абстрактная машина для комбинаторной редукции этого типа, называемая категориальной абстрактной машиной ( КАМ), основана на прочном математическом фундаменте, способствующем достаточно высокой степени оптимизации. Интересно, что ее работа описывается в терминах переходов между состояниями, что очень напоминает операционную семантику SECD-машины. [49]
Создается абстрактная машина, удобная для трансляции в ее коды программ, написанных на выбранном языке. Затем в кодах конкретной машины пишется эмулятор кодов абстрактной. [50]
Методика состоит в том, что сначала определяется иерархия абстрактных машин с помощью модулей Парнаса. Затем каждая абстрактная машина реализуется с помощью соответствующих абстрактных программ, выполняемых на машинах более низкого уровня иерархии. Для того чтобы убедиться в отсутствии ошибок, на этапе реализации предложен метод проверки программ. Структура рассматриваемой операционной системы включает тринадцать уровней иерархии, начиная от обработки прерываний и аппаратных средств системы и кончая обработкой команд пользователя. Промежуточными уровнями являются спланированные процессы, сегменты, словари, таблицы редактора связей, процессы обработки заданий пользователя и другие. Затем в простой и доступной форме описаны 3 из 13 уровней иерархии. [51]
Такого типа абстрактные машины находят широкое применение при изучении и проверке свойств программ, поскольку хорошо определенная абстрактная машина позволяет отвлечься от излишних подробностей. [52]
МАТРИЧНОЙ ФАКТОРИЗАЦИИ МЕТОД, метод мат-рлчной прогонки, - метод решения конечнораз-ностных систем, аппроксимирующих краевые задачи для систем обыкновенных дифференциальных уравнений в одномерных задачах и для уравнений эллиптич. Употребительны также термины абстрактная машина, автомат. [53]
Ее арифметическое устройство и устройство управления вместе взятые соответствуют в-алгорифму и представляют собой автомат, функционирование которого сводится к процессу, определяемому в-алгорифмом. Упомянутые в определении абстрактной машины с размеченной памятью fCR, Q0, Vn для конкретной программно-управляемой машины означают соответственно программу и исходные данные, подготовленные для ввода в машину, команду, засылаемую в регистр команд при нажатии кнопки начальный пуск и результат, выдаваемый устройством вывода. [54]