Übung Fixpunkte

• Fixpunkt der Folge F^k($\bot$) für

  F h = \ x -> if x > 23 then x - 11 
               else h (h (x + 14))
  

• Fixpunkt der Folge F^k($\bot$) für

  F h = \ x -> if x > 10 then x + 11
               else h (2 * x - 8)
  

• Turing-Fixpunkt-Kombinator mit Lambda-Calculator

  http://joerg.endrullis.de/lambdaCalculator/

• Tupel-Konstruktor und Selektoren als Ausdrücke im Interpreter
• gegenseitige Rekursion (f, g) als Fixpunkt (Rec) einer geeigneten Funktion (benutzt Tupel)
• Hausaufgabe: vorige Aufgabe (im Interpreter) ohne Rec, sondern mit einem Fixpunkt-Kombinator