Theoretische Informatik, Woche 4