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

22 Содержание
ИНФОРМАЦИОННЫЕ СТРУКТУРЫ И ИХ ПРЕОБРАЗОВАНИЕ
3.4. Вычисление отношений операторного предшествования.
Алгоритм разбора на основе операторного предшествования
Алгоритм разбора на основе простого предшествования
Отношение Q ПЕТ R(R – первый терм из Q) имеет место тогда и только
тогда, когда Q: = R…|VR…, а отношение Q ПОСТ R(R – последний терм из
Q) имеет место тогда и только тогда, когда Q: = …R|…RV…, где V-
нетерминальный символ.
U
… W S
∘>=(ПОСТ) Т × (ПОС) × (≐)
…Q
…R|RV
U
R W
<∘ =(≐)×(ПЕ)+×(ПЕТ)
Q…
S…|VS
Первичные фразы и их обнаружение
Для нахождения основ, состоящих из одного нетерминала,
рассматриваемые отношения неприемлемы, так как по условию для
нетерминалов их просто не существует. Основу с помощью операторного
предшествования не отыскать. Введём подцепочку и назовём её первичной
фразой.