Übung Fixpunkte

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

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

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

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

• gegenseitige Rekursion (f, g) als Fixpunkt (Rec) einer geeigneten Funktion (benutzt Tupel)
• (Ergänzung zu Lambda-Kalkül:) Turing-Fixpunkt-Kombinator mit http://joerg.endrullis.de/lambdaCalculator/