Notes concerning “Automata theory”