"Конечные автоматы: эквивалентность и поведение" - читать интересную книгу автора (Иванов Н.Н., Михайлов Г.И., Руднев В.В., Таль...)