"Введение в теорию конечных автоматов" - читать интересную книгу автора (Кобринский Н.Е., Трахтенброт Б.А.)