Page 33 - 4625

Рисунок 9
Пункт П виконувати доти, доки на кроні дерева будуть
і
елементи з N.
Відмітимо очевидні факти, що випливають з побудови
синтаксичного дерева:
 крона дерева, зображеного на (рис. 10) наступна
  ...  −1   ...   +1 p
 .
1 2
1 2
l
Ланцюжок з крони   ...  −1 ∈ Σ - це термінальний
∗
1 2
ланцюжок.
 для однозначної граматики G існує лише одне синтак-
сичне дерево виводу  в G.

Рисунок 10

*
Означення. Будемо говорити, що ланцюжок    ,
побудований на основі граматики G (  L(G)) проаналізова-
ний, якщо відоме одне з його дерев виведення. Зафіксуємо
послідовність номерів правил, які були використані під час
побудови синтаксичного дерева виведення  в G з урахува-
нням стратегії виведення.
32