"Введение в теорию автоматов, языков и вычислений" - читать интересную книгу автора (Хопкрофт Дж. и др.)