4.4 Symbolic Evaluation The Algol-like program fragment function fx) return x+4 function g(y) retun 3-y anrt; can be written as the following lambda expression: main Reduce the expression to a normal form in two different ways, as described below. Reduce the expression by choosing, at each step, the reduction that eliminates a as far to the left as possible. a. b. Reduce the expression by choosing, at each step, the reduction that eliminates a as far to the right as possible