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

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

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

Определение "отношений" см. здесь. Формулировку свойства "транзитивности" некоторого отношения см. здесь.

Свойства отношений, о которых здесь идет речь, см. здесь.