Examples of reductions

1. (x.plus x 1)((y.times y y) 3) ->* plus (times 3 3) 1

2. (x.x x)(x.x x) -> (x.x x)(x.x x)

3. (x.x x x)(x.x x x) -> (x.x x x) (x.x x x) (x.x x x)

4. (y.c)((x.x x x)(x.x x x)) -> c
also ->
(c.y)((x.x x x)(x.x x x)(x.x x x)) -> c
also ->
(c.y)((x.x x x)(x.x x x)(x.x x x)(x.x x x)) -> c
also ->
etc.