Option Compilation
TD mardi 26 avril
Compilation de langages fonctionnels en combinateurs

  1. Après une la réduction qui correspond à la définition S f g x = (f x)(g x), quelles sont les possibilités pour le sommet du graphe où il faudra effectuer la prochaine réduction (par rapport à la racine du sous-arbre représentant le (f x)(g x)?
  2. Traduire les expressions de combinateurs en expressions-l traditionnelles.

  3. Traduire les expressions en combinateurs.

  4. Le combinateur paradoxal Y


    Y  =  (l h. (l x. h(x x)) (l x. h(x x)))




File translated from TEX by TTH, version 3.05.
On 26 Apr 2005, 12:49.