Automaten und formale Sprachen (IN2041)