СД - синтаксические диаграммы
дерево вывода
стек с графовой структурой
лес разбора
   Множество всех деревьев вывода заданной цепочки в неоднозначной грамматике образует лес разбора
компактное представление леса разбора (КПЛР)
    три типа узлов: символьные, промежуточные и упаковывающие
    Если лес разбора представляет собой конечное множество деревьев вывода, то КПЛР не содержит циклов.
дескриптор синтаксического анализатора

---

Если грамматика содержит путь ненулевой длины из узла "У" в узел "У",
при движении по которому (пути) выводится пустая терминальная цепочка,
то возможно бесконечное множество различных выводов одной цепочки, проходящих (выводов) через узел "У".

(нужен пример такой грамматики,
пример одной цепочки, с выводами проходящими через узел "У",
а так же пример бесконечного множества различных выводов этой цепочки)

---

Символьные узлы имеют вид (тинук, л, п), где
"тинук" терминал или начальный узел компоненты;
"л" и "п" - левая и правая границы подцепочки, выводимой из "тинук".
Если "тинук" - терминал, то назовём такой узел терминальным, иначе - нетерминальным.

Промежуточные узлы имеют метку (нук → ук, л, п), где
"нук" - начальный узел компоненты;
"ук" - узел компоненты;
"л" и "п" - левая и правая границы подцепочки, выводимой на промежутке движения от узла "нук" к узлу "ук".

Дочерними узлами символьных и промежуточных узлов могут быть только упаковывающие узлы,
ограничение на количество дочерних узлов не накладывается.
Упаковывающие узлы являются уникальными в множестве детей своего родителя и имеют не более двух дочерних узлов.
Правый дочерний узел упаковывающего узла является символьным узлом, а левый может быть символьным или промежуточным.

Метка упаковывающего узла позволяет идентифицировать конкретный вывод подцепочки.
Необходимо определить такую метку упаковывающего узла, которая бы однозначно определяла ветвь вывода.
Если к родительскому узлу необходимо присоединить дочерние узлы через упаковывающий узел с меткой, то
сначала проверяется, не существует ли уже узла с такой же меткой в множестве детей родительского узла.
Если такой узел найден, то соответствующий ему вывод уже добавлен в лес разбора.

---

получение всех деревьев вывода по КПЛР, не содержащему циклов
(а зачем эти деревья получать, кроме того, чтобы убедиться, что их больше одного?)