BuK/IIm14/Studenten/s3rozoek/Uebung8

Wiki-Quelltext dieser Seite.

Implementieren Sie die Prozedur free mit Scheme im
ProgrammingWiki und wenden Sie sie auf selbstgewählte
Beispiele an.

Implementieren Sie die Prozedur bound mit Scheme im
ProgrammingWiki und wenden Sie sie auf selbstgewählte
Beispiele an.

Zeigen Sie, dass es von der Reduktionsreihenfolge abhängen
kann, ob die für ((λy . z)((λx. (x x))(λx. (x x)))) existierende
Normalform z gefunden wird oder nicht.

Verwenden Sie zur Berechnung von
((λx. ((x d)((λy . (x y )) a))) b) unterschiedliche
Reduktionsreihenfolgen.

RAM
R0 = 5
R1 = 3
R3 = 1
IFZERO R1 GOTO 7
R2+ = R0 (Vorbelegungen der Register mit Null)
R1− = R3
GOTO 3
R0 = R2
STOP
per Hand ausführen

KA: Geben Sie mind. ein RAM-Programm zur Berechnung der Funktion 
$$
w: \mathbb{N} \rightarrow \mathbb{N} mit w(n) = \lfloor sqrt(n) \rfloor
$$
an.