24
ИНФОРМАЦИОННЫЕ СТРУКТУРЫ И ИХ
ПРЕОБРАЗОВАНИЕ
# E+i #
# <
∘
+<
∘
i
∘
> #
i
F;
# E+F #
#<
∘
+
∘
>#
E+F
E.
Структура цепочки правильная и разбор окончен, если между # стоит
нетерминал.
3.5. Предшествование более высокого порядка
E
E + T
T * F
(E)
E + T
Для этого дерева: +
≐
T и +
⋖
T; (
≐
E и (
⋖
E.
Чтобы решить проблему, введём новые правила:
E: = E
1
;
E
1
: = E
1
+T
1
|T
1
;
T
1
: = T.
Учитывая эти правила, можно нарисовать дерево:
E
|
E
1
E
1
+ T
1
|
T
T * F
|
(E)
|
E
1
E
1
+ T
1