Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. Том 1.
Пер. с англ. М.: Мир 1978, cc. 62 — 66.
Определение отношений см.
здесь.
Определение неупорядоченных ориентированных графов см.
здесь.
Более подробно о представлении бинарных отношений, заданных на некотором множестве, неупорядоченными ориентированными графами см. у Андерсона
здесь,
у Карпова-Мощенского здесь и
здесь.
Определение транзитивного и рефлексивного и транзитивного замыканий данного бинарного отношения R на некотором множестве A
см. здесь.
