Uebung8

Aus ProgrammingWiki

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.