Automata and Computability van Dexter C. Kozen is een Engelstalig studieboek over theoretische informatica, automata en berekenbaarheid.
Het boek behandelt finite automata, pushdown automata, Turing machines, computability, decidability en Gödel's incompleteness theorems. De combinatie van theorie en oefeningen biedt een basis voor verdere studie in formal languages en theory of computation. Geschikt voor studenten computer science en mathematics. ISBN 9781461273097.