"Formal Languages and Their Relation to Automata" - читать интересную книгу автора (John E. Hopcroft, Jeffrey D. Ullman)