Question: Answers only for parts 2 . 3 , 2 . 4 , 2 . 5 Don't spam existing answers, please. 2 . ( Reducible Expressions

Answers only for parts 2.3,2.4,2.5 Don't spam existing answers, please. 2.(Reducible Expressions) For each of the following, identify all the reducible expressions by highlighting the box, the t and the t of the reducible expressions. If there is more than one redex in the given expression, you should identify all the redexes, each one on a separate line. If there are no reducible expressions, you should say so in your answer. Example 1 Answer (\lambda \chi .\lambda x. x x) no redex Example 2 Answer ((2x. x x x x x))(( x. x x x x x))((x x x)(2x x x))((Ax x x)(2x x x))((ix. x x x x x))(( x x x)(2x x x))2.1.(xix. x)(2x. x) x (ax.(ix. x) x) x 2.2.(1x.(ax. x (ix. x) x ) z)x 2.3.(ix. y) z ix. ix.(1x. x) ix. x y z 2.4. ix. y (x.(ly. z y) Az. x)2.5.\lambda \chi .(\lambda \chi . w) y z \lambda \chi .(Ay. x)\lambda z. Xy

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Databases Questions!