https://9dok.net/document/y8g7v7d5-klausur-thegi-automaten-komplexität-niedermeier-hartung-nichterlein-sommersemester.html