Александр Бушуев, Владимир Кутыркин — Введение в прикладную теорию автоматов
Изложены основные понятия теории конечных автоматов и формальных языков; сведения из теории графов, необходимые для способов компьютерного задания и наглядного представления конечных [...]