Общие свойства абстрактных машин

Определение.

Абстрактная машина (АМ) - способ формализованного задания алгоритма для математически строго описываемых языков.

(АМ) - характеризуется множеством регистров, множеством состояний регистров и правилами перехода от состояния к состоянию.

два регистра памяти

быстрого доступа

Три стека

Правила перехода из состояния в состояние задаются кодом АМ.

Информация о состоянии регистров может быть представлена в некоторой структуре данных.

Структура [исходное состояние] => Структура [итоговое состояние]

<Новое состояние>=<Функция перехода>(старое состояние).

Функция, описывающая действие оператора кода АМ, имеет в качестве своих аргументов регистры этой машины с содержащимися в них данными, при этом переход машины из

одного состояния в другое соответствует шагу редукции дерева программы исходного языка.

Определение.

Верификация - способ проверки правильности программ на основе теоретических знаний.

Дата добавления: 2014-01-11