1, [1 mark] Reduce the following -expression to its normal form. Show two sequences of reductions, one of which is based on normal order reduction and the other based on applicative order reduction. Show all the reduction steps. .ry ! TT(jy)) (At | Ty) ( 1, [1 mark] Reduce the following -expression to its normal form. Show two sequences of reductions, one of which is based on normal order reduction and the other based on applicative order reduction. Show all the reduction steps. .ry ! TT(jy)) (At | Ty) (