Seite 1 von 1

Hausübung 4 Aufgabe 1

Verfasst: 18. Jan 2012 13:52
von Linh
Hallo,

ich habe eine Frage bezüglich der Aufgabe 1d). Was ist genau mit dem Vereinfachen der Terminierungshypothese gemeint? Dass man einfach die Selektoren auf den Term anwendet, also dass man so etwas wie hd(hd(k) :: tl(k)) zu hd(k) vereinfacht?

Re: Hausübung 4 Aufgabe 1

Verfasst: 18. Jan 2012 16:36
von Nathan Wasser
Mit Vereinfachung ist folgendes gemeint: Falls im Term Teilterme der Form "if{true, ...}", "if{false, ...}" oder "if{..., true, false}" vorkommen, sollten diese entsprechend vereinfacht werden.

Re: Hausübung 4 Aufgabe 1

Verfasst: 19. Jan 2012 17:38
von Pflücker
Ist es bei der nicht normalisierten und nicht vereinfachten Terminierungshypothese ein Unterschied, ob wir if(a, if(b, c, false), false) oder if(if(a, b, false), c, false) schreiben? Bzw welche der beiden Varianten sollen wir bevorzugt verwenden um der Aufgabenstellung gerecht zu werden? Im Skript/Folien fand ich bislang leider nur Beispiele mit maximal zwei Ausdrücken...

Re: Hausübung 4 Aufgabe 1

Verfasst: 19. Jan 2012 17:52
von Nathan Wasser
Beides ist in Ordnung, da beides eine Konjunktion der Terme darstellt.

Re: Hausübung 4 Aufgabe 1

Verfasst: 21. Jan 2012 13:48
von cwb38
Sollen die einzelnen Schritte beim Normalisieren und Vereinfachen alle aufgeschrieben werden oder kann man sie wie in der Musterlösung zur fünften Gruppenübung weglassen?

Re: Hausübung 4 Aufgabe 1

Verfasst: 23. Jan 2012 11:24
von Nathan Wasser
Die Schritte müssen nicht angegeben werden.

Re: Hausübung 4 Aufgabe 1

Verfasst: 20. Feb 2012 05:32
von Eolithic
Hallo,

gesetzt den Fall diese ("Normalisieren Sie die Terminierungshypothesen gemäß dem Verfahren aus der Vorlesung und vereinfachen Sie diese."), oder eine ähnliche Aufgabe, käme in der Klausur, nach einer Aufgabe wie "Geben Sie die [...] Terminierungshypothesen" (wie auch in der HA 4.1 c/d) an die Reihe:

Ich bin jemand der schon "gewohnheitsmäßig" bspw. die Terminierungshypothesen normalisiert und vereinfacht angibt.
Würde es in diesem Fall genügen bei der Aufgabe zu schreiben das sich die in der vorherigen Aufgabe angegebenen Terminierungshypothesen nicht weiter normalisieren oder vereinfachen lassen, oder würde es bevorzugt wenn die Hypothesen noch einmal für diese Aufgabe abgeschrieben würden?

Viele Grüße
Eolithic

Re: Hausübung 4 Aufgabe 1

Verfasst: 20. Feb 2012 12:16
von Nathan Wasser
Eolithic hat geschrieben:Ich bin jemand der schon "gewohnheitsmäßig" bspw. die Terminierungshypothesen normalisiert und vereinfacht angibt.
Halten Sie sich an die Aufgabenstellung, dann werden Sie keine Punkte verschenken.

Re: Hausübung 4 Aufgabe 1

Verfasst: 20. Feb 2012 16:28
von Eolithic
Dann gut das ich noch einmal nachgefragt habe.

Danke für die Beantwortung der Frage.