,,Theoretische`` Informatik und Softwaretechnik

• Berechenbarkeit: Halteproblem
• Automaten und formale Sprachen: reguläre Sprachen
• Komplexitätstheorie: Scheduling-Aufgaben