Стр. 31 - Информационные структуры и их преобразование

Содержание 29
ИНФОРМАЦИОННЫЕ СТРУКТУРЫ И ИХ ПРЕОБРАЗОВАНИЕ
В итоге для этого дерева имеем следующие отношения:
- +≐T1 и +⋖T;
- (≐E и (⋖E1 .
Для первого дерева без замены Т и ввода новых правил получим
E+T*F;
+⋖ T*;
(⋖E+.
Для того чтобы отличать предшествование 2.1 от операторного, внесём
символ «∘» за знак < . Пусть у нас есть три символа R, S, T , которые
принадлежат словарю алфавита.
Этот путь решения проблемы называется стратификация.
RS>∘ T – S является хвостом основы.(2.1 предшествование).
RS =>∘ T – T принадлежит основе. (2.1 предшествование).
R∘<ST – S является головой основы. (1.2 предшествование).
R∘<= ST – R принадлежит основе. (1.2 предшествование).
R, S, T∈ VN∪VT.
Выводы к определениям:
1) RS>∘T тогда и только тогда, когда имеется вывод
Z=>+…[R]UTx…=> =>+…RSTx…
Для этого необходимы следующие выводы: U=>+…S или U=>+…RS.
E T1 +
T F
(E)
E1+T
*
Т
E1