1.9   Exercices

1. forme normale
   Soient les termes suivants :
   
   
   • A = l xy.xy     D = (l x.xx)
   • K = l xy.x     S = l xyz.x z (y z)
   • B = l xyz.(x (y z))     C = l xyz.(x z y)
   
   Donner si elle existe la forme normale des termes suivants :
   • D A
   • I = SKK
   • B = S(KS)K
   • W = DD
   • C = S(BBS) (KK)
   
   
2. Trouver les l-termes qui calculent la multiplication et l'exponentielle pour les entiers de Church.