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

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

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

Определение языков см. здесь.

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

Определение операции конкатенации над цепочками см. здесь и здесь.