"Введение в теорию автоматов" - читать интересную книгу автора (Хопкрофт, Мотвани, Ульман. (Hopcroft, Motwani, Ullman))