Theoretische Informatik, Woche 6