CS/Automata theory