Finite Automata, Formal Logic, and Circuit Complexity
Howard Straubing · Birkhäuser Boston eBooks · 1994
The study of the connections between mathematical automata and for mal logic is as old as theoretical computer science itself. In the founding paper of the subject, published in 1936, Turing showed ho