Алгоритм рекурсивного спуска.

↑

▷ Содержание

⇐ ПредыдущаяСтр 3 из 4Следующая ⇒

Методика заключается в том, что у нас есть грамматика. Берем правило грамматики Хомского, группируем их по группам. Для каждой группы пишем программу - обработчик. Каждый нетерминальный символ грамматики порождает специальную программу обработчик.

Тело программы – обработчика строится по правой части и вызывается по средствам вызова обработчика.

Пример:

Обработчик Р

Обработчик S

Если текущий символ =., то выход

Иначе

Если текущий символ =;, то Обработчик Р

Иначе ошибка

Условимся, что у нас есть некоторая процедура, которая строит дерево.

Программа «Дерево»

r1

r2 r3 r4 r1=Дерево(r2,r3,r4)

Усовершенствованный вариант обработчика Р, с построением дерева. На выходе будет выходной параметр.

Обр.Р(var r) var-т.к.выходной параметр;

Обр.S(r1) r1-выходной показатель;

Если текущий символ=. то r=Дерево(r1,”.”);

Выход

Иначе, если текущий символ=; то Обр.Р(r2);

r=Дерево(r1,”;”,r2);

Выход

Иначе ОШИБКА

2. Семантика языков программирования.

Понятия:

1. Перевод с одного формата языка на другой.

2. Схема синтаксически управляемого (СУ) перевода.

3. Атрибутная грамматика, как результат обобщения схем синтаксически управляемого (СУ) перевода.

2 класса:

Интерпретирующая семантика.

Компилирующая семантика.

Интерпретирующая семантика – это некоторая функция, которая любую программу/набор данных отображает в виде результата:

Компилирующая семантика:

Интерпретирующую семантику задает интерпретатор.

ПОЛИЗ(польс.инверсная запись)

Триады

Системы внутреннего Ассемблер

представления

Семантика лексических единиц.

Таблица символов.

Лексическая единица	Тип лекс.един.	Числовой тип	Кол-во Измерений	Размер	…	Кол-во байт	Всего байт	Адрес
a	Ид.	Int						.
b	Ид.	Real						.
0,5	Const	real						.

Память

Формальные системы для внутреннего (промежуточного)

Представления программ.

Триады – набор из 5 операций:

Последовательность триад

Kon – код операции;

C:=a+b

-*/v&

1-й,3-й не используются, а в «b» стоит метка N.

Системы перевода формальных языков.

Познавательные статьи:



Техника прыжка в длину с разбега

Организация работы процедурного кабинета

Области применения синхронных машин

Оптимизация по Винеру и Калману