Восходящий синтаксический анализ

Восходящий синтаксический анализ. Основы семантического анализа
Изучите материалы по следующим вопросам:

Восходящий синтаксический анализ
SLR
LR
LALR
Семантический анализ
Область видимости
Проверка типов
Синтез типов
Задание
Для выражений из языка, описанного в лабораторной работе №3, реализуйте один из методов восходящего разбора. Под выражением следует понимать только ту часть программы, которая соответствует нетерминальному символу выражение грамматики языка.
Дополните программу, созданную в лабораторной работе №3, проверкой использования имен:
Область видимости включает в себя в все операторы, которые относятся к той же последовательности операторов, где находится объявление переменной, и следуют после него.
Если какой-либо оператор или выражение входит в область видимости переменной, то и все его составные части входят в область видимости.
Переменная может быть использована только в тех местах, которые входят в область её видимости. Например код "def b; input b; if b then def a; input a; else end;" соответствует этому требованию, а код "def b; input b; if b then def a; else input a; end;" – нет.
Переменную можно объявить только вне области видимости переменной с таким же именем. Например код "def b; input b; if b then def a; input a; else def a; input a; end;" соответствует этому требованию, а код "def a; input a; if b then def a; input a; else end;" – нет.

0