"Theory of finite automata: with an introduction to formal languages" - читать интересную книгу автора (John Carroll, Darrell Long)