"Введение в теорию конечных автоматов" - читать интересную книгу автора (Гил А.)