Posons Y ≡_def W S (B W B)

Calculer Y F

(S) S X Y Z := X Z (Y Z)

(K) K X Y := X

(W) W F X := F X X,
W ≡_def S S (K I)

(B) B F G X := F (G X),
B ≡ _def S (K S) K

INSTRUCTION

1.Proposer une étape de réduction dans le champ d'entrée puis valider avec la touche Return.L'ensemble des caractères valides sont:

A..Z, a..z, (, ).

2.Si vous ne trouvez pas, appuyer sur le bouton "Avancer d'une étape".