"Введение в теорию автоматов" - читать интересную книгу автора (Кудрявцев В.Б., Алёшин С.В., Подколзин А.С.)