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

Содержание 25
ИНФОРМАЦИОННЫЕ СТРУКТУРЫ И ИХ ПРЕОБРАЗОВАНИЕ
Для этого дерева имеем следующие отношения: +≐T1 и +⋖T;
(≐E и (⋖E1 . Этот путь решения проблемы называется стратификация.
R, S, T∈VN∪ VT.
RS> ∘ T – S является хвостом основы.(2.1 предшествование).
RS => ∘ T – T принадлежит основе. (2.1 предшествование).
R ∘< ST – S является головой основы. (1.2 предшествование).
R ∘<= ST – R принадлежит основе. (1.2 предшествование).
1) RS>∘ T тогда и только тогда, когда Z=>+…[R]UTx…
=>+…RSTx… .
Чтобы получился этот вывод, нужно: U=>+…S или U=>+…RS.
2) RS => ∘ T тогда и только тогда, когда Z=>+…yUx => yRSTx .
Чтобы получился этот вывод, нужно: U: = RST.
3) R∘< ST тогда и только тогда, когда Z=>+…RUx =>+…RSTx… .
Чтобы получился этот вывод, нужно: U: = ST .
4) R∘<= ST тогда и только тогда, когда Z=>+…yUx =>…yRSTx… .
Чтобы получился этот вывод, нужно: U: = RST .
Если # S1 S2 … Si Sj … Sn # – сентенциальная форма, то основа этой
сентенциальной формы будет цепочка Si … Sj , если для неё выполняется
условие: Si-1∘< Si Si+1= >∘ Si+2 … Sj-1Sj >∘ Sj+1.
Предшествование m,n
W = xy |x| = m; |y| = n .
x ∘< y, если первый символ цепочки y является головой основы.
x >∘ y, если последний символ цепочки x является хвостом основы.
x ≗ y, , если последний символ цепочки x и первый символ цепочки y
принадлежат основе.
Грамматика m,n предшествования это такая грамматика, которая
удовлетворяет условиям: