CSS.204.1 Automata and Computability