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