Задачи на атрибутные грамматики Дана атрибутная грамматика IMP –Расширить описание языка. Описать контекстные условия, допускающие присваивание булевских. - презентация

1 Задачи на атрибутные грамматики Дана атрибутная грамматика IMP –Расширить описание языка. Описать контекстные условия, допускающие присваивание булевских значений арифметическим переменным –Расширить описание языка. Ввести именнованные константы. Описать контекстные условия. Дана атрибутная грамматика SIL. –Запретить операции сложения, которые выводят за рамки диапазона MinInteger..MaxInteger. Описать атрибуты генерации кода. Использовать операцию возбуждения исключения EXC. –Ввести логическую операцию XOR. Ввести атрибуты енерации кода. –Ввести цикл until. Ввести атрибуты генерации кода, включая атрибуты генерации меток. –Ввести оператор выхода из цикла exit (в билетах на экзамене не будет)

2 Задачи на операционные грамматики Дана операционная грамматика IMP –Ввести операцию возведения в степень –Ввести цикл until –Ввести оператор выхода из цикла exit (в билетах на экзамене не будет) Примечание. В задачах этого вида нужно расширить BNF и описать дополнительные правила вывода.

3 Задачи на описание статической семантики через wf-функции Дана грамматика и статическая семантика языка IMP. Расширить описание языка. –Разрешить присваивание булевских значений арифметическим переменным –Ввести именованные константы –Ввести логическую операцию XOR –Ввести цикл until –Ввести оператор выхода из цикла exit Примечание. В задачах данного вида нужно при необходимости расширить AST и описать изменения в wf-функциях.