Изменения

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

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

33 байта добавлено, 15:36, 6 июня 2015
Нет описания правки
Выпишем продукции (с транслирующими символами) и ассоциируем с ними семантические правила
(здесь $\{ENTRY {{...}} \}$ {{- --}} [[Атрибутные_транслирующие_грамматики#tr_char|транслирующий символ]]. Если в продукции несколько раз встречается одинаковый нетерминал, будем добавлять к нему индексы, считая от начала продукции.):
{| style="background-color:#CCC;margin:0.5px"
exprP['''int''' i] '''returns''' ['''int''' val]
: { $val = $i; } <font color="green"> // <tex>\varepsilon</tex>-правило</font>
| '+' term e = exprP[$i + $term.val] { $val = $e.val; }
;
497
правок

Навигация