Стр. 30 - Информационные структуры и их преобразование
Упрощенная HTML-версия
28
ИНФОРМАЦИОННЫЕ СТРУКТУРЫ И ИХ
ПРЕОБРАЗОВАНИЕ
3.7. Предшествование более высокого порядка
Рассмотрим следующее дерево:
Для этого дерева существует следующие неоднозначности: +
≐
T и
+
⋖
T; (
≐
E и (
⋖
E.
Для простого предшествования это не пригодно, поэтому для нашего
случая необходимо ввести символ, чтобы Т не совпадали, то есть введем
стратификацию.
Для решения проблемы введём новые правила:
1.
E: = E
1
;
2.
E
1
: = E
1
+T
1
|T
1
;
3.
T
1
: = T.
Теперь, учитывая эти новые правила, можно нарисовать следующее
дерево:
E
T
F
(E)
E+T
1)
2)
E
E
T
T
F
*
E
E
T
+
T
F
(E)
E+T
*
E
1
