"Automata, Languages and Programming, 9 conf" - читать интересную книгу автора (M. Nielsen, E. M. Schmidt)