497
правок
Изменения
Нет описания правки
$
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 \\
Атрибуты делятся на '''наследуемые''' и '''синтезируемые'''.
{{Определение
}}
Выпишем синтексическ управляемое определение для грамматики арифметических выражений с операторами $+$ и $*$:
Хотя всегда можно переписать синтаксически управляемое определение таким образом, чтобы использовать только синтезируемые атрибуты, зачастую более удобно и естественно воспользоваться также и наследуемыми атрибутами.
{{Определение
}}
Выпишем продукции и ассоциируем с ними семантические правила для грамматики объявления переменных:
Рассмотрим некоторые аспекты реализации на более сложном примере.
<картинка>
Рассмотрим грамматику арифметических выражений, для наглядности оставив только числа, сложение и скобки.
</wikitex>
* Альфред Ахо, Рави Сети, Джеффри Ульман. Компиляторы. Принципы, технологии, инструменты. Издательство Вильямс. Первое издание. 2003. Стр. 279 {{---}} 305.
* Альфред Ахо, Рави Сети, Джеффри Ульман. Компиляторы. Принципы, технологии, инструменты. Издательство Вильямс. Второе издание. 2008. Стр. ??? {{---}} ???.