D120.de/forum

Hello, I have a question about slide 19 (54/59) of the lecture on IBTP. The last condition in the definition "Inst-Gen Rule with Ground Closure" does not make any sense to me. Shouldn't it rather list sigma applied to the second clause premise on the LHS of the equation? Or maybe someone can explain...

I'm trying to understand BindCC in our KCFWAE interpreter but don't understand why eval(BindCC('k, Add(1, App('k, 3)))) evaluates to 3. eval(BindCC('k, Add(1, App('k, 3)))) = interp(BindCC('k, Add(1, App('k, 3))), Map.empty, identity) = interp(Add(1, App('k, 3)), Map.empty + ('k -> Continuation(ide...

This is what I have for ex06.2 Before GC: Env Store ----+----- ----+--------- x1 | 1 1 | Num(10) x2 | 2 2 | Box(1) x3 | 3 3 | Box(2) x4 | 4 4 | Num(13) x5 | 5 5 | Num(14) x6 | 6 6 | Box(4) x7 | 7 7 | Box(6) res | 8 8 | Box(3) This looks wrong to me. I got the following solution before GC based on o...

Hallo, ich habe eine Fragen zu Aufgabe 6c. Wenn ich mir die Folien anschaue, komme ich vor dem wrap-up auf eine Lösung, die sich von der Musterlösung unterscheidet. So wie ich Folie 54 des letzten Foliensatzes interpretiere müsste der Knoten mit ANY auf Ebene i=1 Kinderknoten mit allen Policies aus ...

In Ex3 1.3 it is asked for an example where subst. and env. behave different. An example would be the one i gave in the threads opening post when the enviromental implemntation is dynamic scoped. But in the case of a static scoped enviromental implementation wouln't it behave the same as a subst. d...

Hallo,

wäre es möglich auf der Webseite zu schreiben wann die Liste der Fingerprints mit Bonus zum letzten mal geupdated wurden? Oder gibt es mittlerweile replies auf E-Mails an die pki@... adresse ob man jetzt einen Bonus hat oder nicht?

MfG,
Johannes

Hey, could somebody explain this testcase to me? Why should that be evaluated to Nothing? Shouldn't it be NumV(6)? interp (AppE (NumE 6) (NumE 5)) [] == Nothing thanks! I didn't check the actual definition of the language but in our old language you couldn't apply a value like (NumE 6), so it seems...

Boddlnagg hat geschrieben:I experienced the same problem concerning the specification tests and have not yet found a solution ...

If you get 0/-1 something is wrong with your solution. This might, for example, indicate that the tests do not terminate AFAICT.

Bei der Implementierung des zweiten Algorithmus, sollen wir wie in der Vorlesung gesprochen diesen für ungerichtete Graphen implementieren oder für gerichtete (wobei das ja eigentlich nur in der Ausgabe und vielleicht beim Dateiformat eine Rolle spielen würde)?

Ok, gerade gesehen. Der Prüfer gibt die Noten ein und gibt sie anschließend frei. Das Prüfungssekretariat veröffentlicht dann die Noten. Zitat aus der Tucan Hilfe: "Noten werden durch die Prüfer/innen und deren Stellvertreter/innen eingetragen und freigegeben und dann durch das Studienbüro im Webpo...

StudyForFun hat geschrieben:Dort stehen bei mir aber nur die Übungsgruppenanmeldungen und, da Compiler 1 keine Übungsgruppen hat, ist es dort bei mir nicht gelistet.

Hast du es auch schonmal über das Vorlesungsverzeichnis probiert?

StudyForFun hat geschrieben:

Jens Huthmann hat geschrieben:Die Noten hängen wieder aus und sind auch im Tucan als Dokument angehängt.

Wo kann man das Dokument in Tucan finden? Ich sehe es nämlich nicht.

Normalerweise sind die Materialien unter "Veranstaltungen -> Meine Veranstaltungen -> Compiler I: Grundlagen -> Material" zu finden.

Wenn man den Fluchtpunkt [0 0 -1 0] perspektivisch transformiert, dann kommt man ja auf [0 0 -f-n 1], wodurch man (glaube ich) weiß, dass der Abstand des Fluchtpunkts von der far-plane genauso weit weg ist, wie der Augpunkt zur near-plane. Klingt schonmal gut. Kann das jemand bestätigen? :) Das ste...

himbaer hat geschrieben:Kann man die Lösungen von den Übungen von letztem Jahr eventuell bekommen?

Gerade die Lösung zur 3ten Aufgabe würde mich sehr interessieren.

Ich habe die Musterlösungen leider nicht mehr.

Habe hier auchnochmal eine Frage zur Musterlösung der 1.5: Warum braucht man hier keine ParseD-Methode? In der Vorlesung wurde gesagt, man soll zu jedem Nichtterminalsymbol N eine ParseN methode schreiben. Ich würde sagen, wenn du eine parseD Methode hast, wogegen nichts spricht wenn ich es gerade ...