Ich wurde heute von Studenten auf eine weitere Unstimmigkeit in Aufgabenblatt 11 aufmerksam gemacht, die ebenfalls zu der Klasse der "[[de:Um-eins-daneben-Fehler]]" gehört. Daher hier eine Aktualisierung der Korrekturhinweise nach Rücksprache mit dem Aufgabensteller:

Aufgabe 11.1
Der Index zum Zugriff auf das Array soll von [1…MAX] laufen (statt von [0…MAX]). Damit enthält das Array genau MAX Elemente, und die Grenzbedingungen der push- und pop-Prozesse sind auf dem Blatt fgi2a11a.pdf mit i < MAX und i > 0 korrekt angegeben.

Wer nach meinem Korrekturvorschlag von letzter Woche schon mit der Bereichsuntergrenze 0 und der pop-Bedingung i >= 0 argumentiert hat, darf dabei bleiben. Um die Übungsgruppenleiter nicht zu verwirren, empfiehlt sich aber ein entsprechender Hinweis.

Aufgabe 11.3
Das 5-Philiosophen-Netz nummeriert die Philosophen (also deren Stellenindizes) von 1 bis 5. Die zugehörigen CTL*-Atome der Aufgabenstellung sind leider von 0 bis 4 nummeriert. Der Konsistenz halber sollte alles von 1 bis 5 nummeriert werden:
  • Die Menge der Atome ist [latex]AP=\{d_i, g_i, e_i | 1 <= i <= 5\}[/latex].
  • Philosoph [latex]Ph_i[/latex] benutzt die Gabeln [latex]g_i[/latex] und [latex]g_{(i \mathrm{ mod } 5) + 1}[/latex].
  • Die Bedeutung der Formeln [latex]\phi_4(i)[/latex] und [latex]\phi_5(i)[/latex] ist für die Indizes [latex]i \in \{1,\dots,5\}[/latex] zu beschreiben.
  • In [latex]\phi_5(i)[/latex] wird die Modulo-Berechnung ebenfalls angepasst: [latex]\neg g_i \wedge \neg g_{(i \mathrm{ mod } 5) + 1}[/latex].
Die Auswirkungen der Änderungen sind nicht dramatisch. Wer die Aufgabe bereits mit den alten Indizes von 0 bis 4 gelöst hat, kann dabei bleiben - man sollte nur den Übungsgruppenleiter darauf hinweisen.

PS: Das Aufgabenblatt auf der Webseite wird wohl nicht aktualisiert.