Automaton Reader for class theory of computation