Стр. 25 - Информационные структуры и их преобразование
Упрощенная HTML-версия
23
ИНФОРМАЦИОННЫЕ СТРУКТУРЫ И ИХ
ПРЕОБРАЗОВАНИЕ
Первичной фразой
сентенциальной формы считается такая фраза, в
которую входит, по крайней мере, один терминал и сама она не содержит
других первичных фраз.
E
E + T
|
E + T F
| | |
T T*F i
T+T*F+i – сентенциальная форма.
Введём первичную фразу. T+T+F – некоторая подцепочка, в ней основа
Т, но она не будет первичной фразой, так как не содержит терминала.
T*F – будет первичной фразой, так как содержит терминал и нет
других первичных фраз.
i – будет первичной фразой, так как содержит терминал и нет других
первичных фраз.
Запишем
сентенциальную
форму
в
общем
виде:
#N
1
T
1
N
2
T
2
N
3
T
3
…N
n
T
n
#. (N- нетерминал, Т- терминал).
Сентенциальная форма, таким образом, состоит из n- терминалов,
причём между каждым соседним символом находится не более одного
нетерминала.
T
i-1
<
∘
N
i
T
i
…N
j
T
j
N
j+1
∘
>T
j+1
– первичная фраза.
Любой символ всегда находится в таком отношении: #<
∘
T
j
∘
>#
с
дополнительными.
Сентенциальная форма Отношения Первичная фраза К чему приводится
T+T*F+i
#<
∘
+<
∘
*
∘
>+
T*F
Т
Нетерминалы, стоящие слева и справа, принадлежат первичной фразе.
Следующий шаг: T+T+i
#<
∘
+
∘
>+ T+T
(нет
такого
правила) E.
Поэтому в процедуру разбора надо ввести некоторые семантические
состояния, то есть анализ правила на наличие одного терминального символа
из правила, то есть проведём замену Т на Е, такое правило есть:
