(\x.((\y.y)x))x 

Questo termine ha forma normale, che si ottiene attraverso le seguenti riduzioni
(i redex sono sottolineati)

(\x.((\y.y)x))x --> (\x.x)x --> x
     -------        -------