Normalordnung und applikative < Scheme < Programmiersprachen < Praxis < Informatik < Vorhilfe
|
Status: |
(Frage) für Interessierte | Datum: | 15:42 Mi 08.02.2006 | Autor: | baerchen |
Aufgabe | (define (f x)
(+ x (f x)))
(define g x y)
(if (= x 0)
1
(g y (- x 1))))
Werten Sie den Ausdruck (g 0 (f 1)) in applikativer und in Normalordnung aus und erläutern Sie Ihre Ergebnisse. |
Hallo Ihr,
ich schreibe in zwei Wochen eine Informatik 1 Klausur. Wir haben Scheme behandelt. Zur Übung bearbeite ich Aufgaben aus den alten Klausuren. Eine der Aufgaben seht Ihr oben.
Das Ergebnis ist beim Ausdruck (g 0 (f 1)) 1, da (if (= x 0) true ist und dementsprechend die Eins wiedergegeben wird.
Nun ist mein Problem, dass ich in der Auswertung keinen Unterschied zwischen der applikativen Form (wie Scheme rechnet) und der Normalordnung (dem Ausrechnen von Anfang nach Ende) finde.
Applikativ:
(g 0 (f 1))
(if (x = 0)
1
(g y (- x 1))))
(if (= 0 0)
1
(g y (- x 1))))
(if true 1
(g y (- x 1))))
1
Was soll nun in der Normalordnung anders sein?
Über Hilfe würde ich mich freuen :)
|
|
|
|
Status: |
(Mitteilung) Reaktion unnötig | Datum: | 19:33 Mi 15.02.2006 | Autor: | matux |
Hallo baerchen!
Leider konnte Dir keiner mit Deinem Problem in der von Dir vorgegebenen Zeit weiterhelfen.
Vielleicht hast Du ja beim nächsten Mal mehr Glück .
Viele Grüße,
Matux, der Foren-Agent
Allgemeine Tipps wie du dem Überschreiten der Fälligkeitsdauer entgegenwirken kannst findest du in den Regeln für die Benutzung unserer Foren.
|
|
|
|