Cтраница 4
Интерпретатор должен избегать принятия случайных решений, т.е. выбор одного означивания из многих должен осуществляться без использования механизма случайности. [46]
Интерпретатор, который циклически управляет выбором и активизацией модулей. [47]
Интерпретатор обрабатывает команду кг; выражение, т.е.. Нераспознанные в ПДО команды передаются в среду МВМ. [48]
Интерпретатор является настолько важным звеном вычислительной машины, что его работа заслуживает более детального изучения. Обычно интерпретатор выполняет простой циклический алгоритм, изображенный на рис. 2.2. На каждом цикле интерпретатор получает адрес следующей команды из регистра адреса программы ( и увеличивает содержимое этого регистра на 1), выбирает указанную команду из памяти, разбивает ее на код операции и набор указателей операндов, выбирает ука занные операнды ( если необходимо) и вызывает указанную операцию с указанными операндами в качестве аргументов. [49]
Интерпретатор выполняет выбранный элемент заявки путем применения соответствующего правила из базы знаний. В общем случае интерпретатор выявляет выполненность условий применения правила, связывает переменные в этих условиях с конкретными элементами решений на доске объявлений, а затем делает те изменения на доске объявлений, которые предписываются этим правилом. Интерпретаторы этого типа обычно пишутся на языке LISP из-за наличия в нем средств для манипулирования и оценивания программ. Другие языки также могут быть использованы. [50]
Интерпретатор OPS5 обеспечивает программиста удобными интерактивными средствами программирования, аналогичными тем, что предоставляет интерпретатор языка Лисп. [51]
Интерпретатор распознает два специальных вида комплектов правил - генераторы и предикаты - и использует их для определения множеств и отношений через правила. Делается это при помощи метода, который напоминает ограниченную дедукцию. Комплект правил типа генератор действует как функция или генератор элементов вычисленного множества. Комплект правил типа предикат действует как распознаватель кортежей, удовлетворяющих некоторым вычисляемым отношениям. [52]