Title: Logik, Automaten, Algorithmen