PSS Gedächtnisprotokoll Klausur WS 0506 - Versionsgeschichte

Theresa: Lösung Aufg. 2

2012-02-28T18:27:22Z

Lösung Aufg. 2

2010-08-13T16:57:03Z

hat „PSS Gedächtnisprotokoll Klausur WS 05/06“ nach „PSS Gedächtnisprotokoll Klausur WS 0506“ verschoben: Namenskonvention, ausserdem: Slashes machen eine unterseite auf!

2008-02-10T16:23:40Z

‎Aufgabe 5: Unifikation

2008-02-10T13:41:37Z

‎Aufgabe 2: Parser

2008-02-10T13:40:23Z

‎Aufgabe 2: Parser

2006-02-18T22:12:22Z

‎Aufgabe 4: Codeerzeugung

2006-02-16T12:59:04Z

Kleinere Formatänderungen

2006-02-15T22:57:26Z

So langsam haben wir es doch...

2006-02-15T16:28:46Z

‎Aufgabe 4: Codeerzeugung

2006-02-15T16:27:52Z

@@ Zeile 36: / Zeile 36: @@
 . Entwickle einen passenden Absy.
-Lösung:
+Lösung (Tutorium):
 . Schreibe einen Recursive-Descent-/Combinator-Parser ohne Fehlerbehandlung. Falls Combinator: Programmiere auch die Kombinatoren.
 == Aufgabe 3: SECD ==

@@ Zeile 65: / Zeile 65: @@
 <pre>
-FUN _ o _ : (beta -> gamma) -> (alpha -> beta) -> (alpha -> beta)
+FUN _ o _ : (beta -> gamma) -> (alpha -> beta) -> (alpha -> gamma)
 FUN length: string -> nat
 FUN even?: nat -> bool

@@ Zeile 22: / Zeile 22: @@
          | <T T'>
   T' ->  {Epsilon}
-     |  _ T T' {Das _ war ein ''space''}
+        | _ T T' {Das _ war ein ''space''}
 Ein Wort der Sprache war: <<1 2 4> <1 4 5> 3>

@@ Zeile 20: / Zeile 20: @@
   S  ->  T #
   T  ->  ide
-         <T T'>
+         | <T T'>
   T' ->  {Epsilon}
       |  _ T T' {Das _ war ein ''space''}

@@ Zeile 57: / Zeile 57: @@
   		return f(x-1, x*y)
+  }
-. Erzeuge Pseudocode für eine abstrakte stackbasierte Maschine.
+. Erzeuge Pseudocode für eine abstrakte stackbasierte Maschine und mache die Basisblöcke kenntlich.
 . Erläutere den Aufbau eines Stackframes. Warum werden die Komponenten in genau dieser Reihenfolge angeordnet?

← Nächstältere Version	Version vom 13. August 2010, 16:57 Uhr
(kein Unterschied)

@@ Zeile 62: / Zeile 62: @@
 == Aufgabe 5: Unifikation ==
-. Zeige die Typkorrektheit von h. Gleichungen für jedes tau aufstellen. Umformungen begründen (Was wird hier gemacht?).
+. Zeige die Typkorrektheit von ''h''. Gleichungen für jedes τ aufstellen. Umformungen begründen (Was wird hier gemacht?).
 <pre>
@@ Zeile 83: / Zeile 83: @@
 Zur Notation: Erst kommt ein Knoten, dann seine Kinder von links nach rechts.
-Der Baum gehört zu h(s) und ist korrekt.
+Der Baum gehört zu ''h''(''s'') und ist korrekt.

@@ Zeile 1: / Zeile 1: @@
-Hier fehlen ggf. noch ein paar Informationen, mein Gedächtnis ist da etwas lückenhaft! Die Bearbeitungszeit waren 90 Minuten. Alle Hilfmittel waren zugelassen (Kofferklausur)
+Die Bearbeitungszeit waren 90 Minuten. Alle Hilfmittel waren zugelassen (Kofferklausur)
@@ Zeile 40: / Zeile 40: @@
   DATA absy ==
     node(val:seq[absy])
-    leaf(val:token)
+    leaf(val:int)
 . Schreibe einen Recursive-Descent-/Combinator-Parser ohne Fehlerbehandlung. Falls Combinator: Programmiere auch die Kombinatoren.

← Nächstältere Version		Version vom 15. Februar 2006, 16:27 Uhr
Zeile 1:		Zeile 1:
−	Hier fehlen ggf. noch ein paar Informationen, mein Gedächtnis ist da etwas lückenhaft!	+	Hier fehlen ggf. noch ein paar Informationen, mein Gedächtnis ist da etwas lückenhaft! Die Bearbeitungszeit waren 90 Minuten. Alle Hilfmittel waren zugelassen (Kofferklausur)