"A second course in formal languages and automata theory" - читать интересную книгу автора (Jeffrey Shallit)