4032AUTTH Automata Theory Sitterzaal_9/18/2020 duplicate