"Introduction to Automata Theory, Languages and Computation (Addison-Wesley Series in Computer Science)" - читать интересную книгу автора (John E. Hopcroft, Jeffrey D. Ullman)