"Finite automata, formal logic, and circuit complexity" - читать интересную книгу автора (Howard Straubing)