"Theory of Finite Automata With an Introduction to Formal Languages" - читать интересную книгу автора (John Carroll, Darrell Long)