Изменения

Перейти к: навигация, поиск

Атрибутные транслирующие грамматики

10 байт убрано, 08:14, 4 июня 2015
Нет описания правки
$
S \to E \\
E \to E + T \mid T \\
T \to T \times F \mid F \\
$
S \to E\\
E \to TE' \\
E' \to +TE' \mid \varepsilon \\
Атрибуты делятся на '''наследуемые''' и '''синтезируемые'''.
==Синтезируемые атрибуты==
{{Определение
}}
===Пример S-атрибутной грамматики.===
Выпишем синтексическ управляемое определение для грамматики арифметических выражений с операторами $+$ и $*$:
Хотя всегда можно переписать синтаксически управляемое определение таким образом, чтобы использовать только синтезируемые атрибуты, зачастую более удобно и естественно воспользоваться также и наследуемыми атрибутами.
==Наследуемые атрибуты==
{{Определение
}}
===Пример L-атрибутной грамматики===
Выпишем продукции и ассоциируем с ними семантические правила для грамматики объявления переменных:
==Аспекты реализации==
Рассмотрим некоторые аспекты реализации на более сложном примере.
<картинка>
===Более сложный пример===
Рассмотрим грамматику арифметических выражений, для наглядности оставив только числа, сложение и скобки.
</wikitex>
== Источники информации ==
* Альфред Ахо, Рави Сети, Джеффри Ульман. Компиляторы. Принципы, технологии, инструменты. Издательство Вильямс. Первое издание. 2003. Стр. 279 {{---}} 305.
* Альфред Ахо, Рави Сети, Джеффри Ульман. Компиляторы. Принципы, технологии, инструменты. Издательство Вильямс. Второе издание. 2008. Стр. ??? {{---}} ???.
497
правок

Навигация