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 how to describe the behavior of a...

"Finite Automata, Formal Logic, and Circuit Complexity" von Howard Straubing ist ein Buch, das sich mit den grundlegenden Konzepten der theoretischen Informatik beschäftigt. Es untersucht die Verbindungen zwischen endlichen Automaten,...