Theoretische Informatik, Woche 9: LOOP- und WHILE-Berechenbarkeit