Решение. 5. Управляющая таблица представлена в табл

1. Q= {q};q₀=q;F= 2. ={if,then,else,z,p,;,#}

3. Г= {U,K,H,M,O,#,;,[x₃]} 4. Z₀= U#

5. Управляющая таблица представлена в табл. 5.2.2

6. Пояснения к заполнению табл. 5.2.2:

а) правило 1 — помещаем 3(К,),П в позицию (U, if);
правило 2 — помещаем 3(Н,[х₀]),П в позицию (K, р);
правило 3 — помещаем З((ОМ[х₃];),[х₁]), в позицию (H, then);
правило 4 — помещаем З (О,[х₂]),П в позицию (М, else);

б) правило 6 — помещаем 3 (U,) в позицию (О, z);

в) правило 5 — помещаем И в позицию (М,;);

г) правило 7 — помещаем И ([х₀]), П в позицию (О, z).

7. Пояснения к завершению заполнения табл. 5.2.2;

а) помещаем И(), П в позицию (;,;);

б) помещаем И([x_з]) во все позиции строки [xз];

в) помещаем В в позицию (#, #);

г) помещаем О во все свободные позиции таблицы.

Таблица 5.2 Управляющая таблица

Задача Используя МП - преобразователь из предыдущей задачи, вы­полнить перевод оператора ifp₁ then z₁ else z₂; в ОПЗ.

Прежде всего обратим внимание на то, что помимо магазина наш МП -преобразователь работает со стеком меток. Решение пред­ставим в табл. 5.2.3, предусмотрев в ней колонки для отображения номера шага преобразования, содержимого магазина, содержимого входной строки и записей в выходную строку преобразователя. Магазин изображается так, что его вершина расположена слева. Текущий символ входной строки также находится слева. Выход­ная строка формируется слева направо. Кроме того, для наглядности предусмотрены колонки для показа операционного символа, являющегося активным на текущем шаге перевода (колонка "операция"), и для представления стека меток (вершина стека слева).

На каждом шаге работы преобразователя выделяется пара (символ в магазине, текущий входной символ) и выполняются действия, определенные содержимым соответствующей позиции таблицы и активным операционным символом. На выходе пре­образователя получена строка р₁т₂УПЛz₁т₁БПт₁:z₂т₂:, котораяпредставляет собой ПОЛИЗ исходного оператора и может быть ис­пользована для генерации машинного кода или интерпретации.

Таблица 5.3 Перевод условного оператора в ОПЗ