G Problem 2 (Normal Order). The goal of this problem is to identify the unique redex, if any, that will be reduced first in normal order evaluation strategy for 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 is an example. Example. ( λx. x x ) ( λx. x x ) ( λx. x x ) ( λx. x x ) Answer. ( λx. x x ) ( λx. x x ) ( λx. x x ) ( λx. x x ) Note that you are only asked to identify the redexes and you are not asked to do the reduction. 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 )