KOTZEN AUTOMATA AND COMPUTABILITY PDF