G Problem 3 (Call by Value). The goal of this problem is to identify the redexes, if any, that can be reduced first in call by value evaluation stratgey 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. You are only asked to identify the redex and you are not asked to do the reduction. 1. ( x. x x ) x. x x 2. ( x. ( x. x ) x ) x 3. ( ( x. ( x. x ) x ) x. ( x. x ) x ) ( ( x. x ) x ) 4. ( ( x. ( 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 )