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