D120.de/forum

Wir sollen die Sprache in der ersten Aufgabe ja vereinfachen.

Ist geplant, die Sprachfeatures später wieder (teilweise) hinzuzufügen, oder bleiben sie dauerhaft aus unserem Subset der Sprache raus?

Ja, scheint der gleiche Compiler hinter zu sein, wie der den wir verwenden. Vielen dank!

Gibt es die Grammatik von Triangle, so wie sie der unveränderte Scanner/Parser sie erkennt, irgendwo?

Du darfst dir sicherlich ein paar Bytes aus /dev/random abschreiben. (z.B. für Multiple-Choice-Aufgaben)

textmate ftw.
(auch gut: Xcode)

Kann ich AND(a, b) nicht ohne normalisierung direkt als if{a, b, false} auffassen? Wenn das geht, sehen wir keine weitere Normalisierung im nächsten Schritt mehr.

Bei mir läuft's jetzt mit dem Testcase.

Wäre schön, wenn die Aufgaben in Zukunft gründlicher geprüft würden.

(das erneute setzen von "fehler" auf 0 nach jedem Test ist überings auch falsch, so macht nur das letzte Setzen auf 1 Sinn…)

Das Problem konnte nicht nachvollzogen werden. Der Testcase hat für das Endergebnis eine recht große Toleranzgrenze. Also wenn du den letzten Schritt manuell korrigierst, muss du nicht unbedingt das genaue Ergebnis getroffen haben, sondern nur in der Toleranzgrenze gelandet sein, Nein - ich habe ge...

Wäre schön, wenn in einer Vorlesung (insb. den Übungen) die richtigen Abkürzungen benutzt würden um Verwirrung zu vermeiden.

PS: OSX 10.6 hat den Fehler beseitigt, KB sind nun 1000 Byte.

Bei dem Beweis des Lemmas "Match is sound" kommen wir bei den letzten beiden Induktionsschritten nicht weiter. Wir haben noch kein anwendbares Lemma für diesen Beweis gefunden.
Hat jemand Tipps dafür?

Da ich den Source nicht als richtige Datei gefunden habe und copy&paste nicht vernünftig funktioniert hat hier mal der Source als gist: https://gist.github.com/ab83ca5138b37bbd14a7

Es könnte sein, dass ein Fehler drin ist, da ich Teile von Hand getippt habe.

Bei der Bel-La-Padula-Aufgabe ist mir nicht klar, ob man das “ihre” in “Kunden dürfen NUR ihre Kundendaten lesen und schreiben.” ignorieren kann, da es ja kein Konzept von “Besitzern” gibt. Wie soll man es sonst auf die eigenen Daten der Kunden beschränken?

Das reserviert 4 byte im Speicher: (siehe: http://en.wikibooks.org/wiki/MIPS_Assem ... structions )

Wie sind die Definitionen der Rückgabewerte in Aufgabenteil (b) bzw. (c) der ersten Praktikums zu verstehen? (Die für mich plausibelste Möglichkeit einen Vektor zurückzugeben, der die Werte beider Subsysteme enthält konnte ich anhand der Testfälle ausschließen.) [Nmax,tmax,sav] ist nach MathLab/Sci...

Wie sind die Definitionen der Rückgabewerte in Aufgabenteil (b) bzw. (c) der ersten Praktikums zu verstehen? z.B. zu tmax: Ist das Maximum der Zeit gemeint, die ein Kunde in einer Schlange vor einer Bedienstation stehen musste oder die er auf seinem Weg durch das Gesamtsystem in einer Schlange gesta...