Problem 1 (Reducible Expression). The goal of this problem is to identify the redexes, if any, in the given
expressions. To identify a redex, you should highlight the ( x. t ) part of the redex in yellow and the t’
part of the redex in blue. Here are two examples.

For each of the following, identify the redexes, if any:
1. x ( x. x x ) ( x. x x ) x
2. ( x. ( x. x ) x ) ( x. x ) x
3. ( x. ( x. x ) x ) x. ( x. x ) x
4. ( x. x ( x. x ) x ) x. x ( x. x ) x
5. x ( x. x ( x. x ) x ) (x. x ( x. x ) x ) x
6. x. x. x x. x. x x x
7. ( ( x. y. ( y. x ) x. x x ) ) ( ( x. ( y. x ) ) x. x x )
8. ( x. ( x. ( x. x ) x ) x ) ( ( x. x ) ( x. x ) ( x. x ) )
9. x ( x. ( y. x ) x. x x ) ( x. ( y. x ) x. x x ) ( ( x. ( y. x ) ) x. x x )
10. ( x. ( y. x ) x. x x ) ( ( x. ( y. x ) ) x. x x )