Automata and Computability, Dexter C. Kozen. Automata Theory, Languages, and Computation , Hopcroft, Motwani, and Ullman (3rd edition). Elements of the theory of computation, Lewis and Papadimitriou ...

Theory of computation, particularly the connections among logic, automata and computational complexity. His current research projects involve algebraic and model-theoretic approaches to circuit ...

Developed over the course of the editors' two decades of experience teaching the acclaimed Automata, Formal Languages, and Computation course at the University of Warsaw, it is an ideal resource for ...