4032AUTTH Automata Theory_9/4/2020 duplicate