Automata and computability, Dexter Kozen