Семантика условного оператора
Оператор присваивания
I := E
в ПОЛИЗе будет записан как
I E :=
где ":=" - это двухместная операция, а I и Е - ее операнды; I означает, что операндом операции ":=" является адрес переменной I, а не ее значение.
Оператор перехода в терминах ПОЛИЗа означает, что процесс интерпретации надо продолжить с того элемента ПОЛИЗа, который указан как операнд операции перехода.
Чтобы можно было ссылаться на элементы ПОЛИЗа, будем считать, что все они перенумерованы, начиная с 1 (допустим, занесены в последовательные элементы одномерного массива).
Пусть ПОЛИЗ оператора, помеченного меткой L, начинается с номера p, тогда оператор перехода gotoL в ПОЛИЗе можно записать как
p !
где ! - операция выбора элемента ПОЛИЗа, номер которого равен p.
Немного сложнее окажется запись в ПОЛИЗе условных операторов и операторов цикла.
Введем вспомогательную операцию - условный переход "по лжи" с семантикой
if (not B) then goto L
Это двухместная операция в операндами B и L. Обозначим ее !F, тогда в ПОЛИЗе она будет записана как
B p F!
где p - номер элемента, с которого начинается ПОЛИЗ оператора, помеченного меткой L.
ifBthenS1elseS2
с использованием введенной операции может быть описана так:
if (not B) then goto L2; S1; goto L3; L2: S2; L3: ...
Тогда ПОЛИЗ условного оператора будет таким:
B p2 !F S1 p3 ! S2 ... ,
где pi - номер элемента, с которого начинается ПОЛИЗ оператора, помеченного меткой Li, i = 2,3.
Семантика оператора цикла while B do S может быть описана так:
L0: if (not B) then goto L1; S; goto L0; L1: ... .
Тогда ПОЛИЗ оператора цикла while будет таким:
B p1 !F S p0 ! ... ,
где pi - номер элемента, с которого начинается ПОЛИЗ оператора, помеченного меткой Li, i = 0,1.
Операторы ввода и вывода М-языка являются одноместными операциями. Пусть R - обозначение операции ввода, W - обозначение операции вывода.
Тогда оператор ввода read(I) в ПОЛИЗе будет записан как I R;
оператор вывода write(E) - как E W.
Постфиксная польская запись операторов обладает всеми свойствами, характерными для постфиксной польской записи выражений, поэтому алгоритм интерпретации выражений пригоден для интерпретации всей программы, записанной на ПОЛИЗе (нужно только расширить набор операций; кроме того, выполнение некоторых из них не будет давать результата, записываемого в стек).
Постфиксная польская запись может использоваться не только для интерпретации промежуточной программы, но и для генерации по ней объектной программы. Для этого в алгоритме интерпретации вместо выполнения операции нужно генерировать соответствующие команды объектной программы.