Начало см. здесь и здесь.

Ахо А., Ульман Дж.
Теория синтаксического анализа, перевода и компиляции. Том 1.

Пер. с англ. М.: Мир 1978, cc. 55 — 56.

Определение ациклических графов см. здесь.

Определение ориентированных графов см. здесь. Определение понятия "степень по входу вершины" см. здесь. Определение понятия "вершины, достижимой из другой вершины" см. здесь.

Определение ациклических графов см. здесь. Определение понятия "путь в графе" см. здесь.

Определение используемых тут теоретико-множественных операций см. здесь и здесь.

Продолжение см. здесь.