UPMC  >  UFR informatique  >  DESS GLA

Visualisation de la réduction de lambda-terme

Visualisation exécution lambda-calcul graphique :<BR>

Exemples

Exemple 1 : delta A
(lx.xx)(lxy.xy)

Exemple 2: SKK
(lxyz.xz(yz))(lxy.x)(lxy.x)

Exemple 3: S(KS)K
(lxyz.xz(yz))((lxy.x)(lxyz.xz(yz)))(lxy.x)

Exemple 4: delta delta
(lx.xx)(lx.xx)

Exemple 5: S(BBS)(KK)
(lxyz.xz(yz))((lxyz.(x(yz)))(lxyz.(x(yz)))(lxyz.xz(yz)))((lxy.x)(lxy.x))