Введение в теорию автоматов - Кудрявцев В.Б., Алешин С.В., Подколзин А.С (Наука, 1985)