Given is the following definition of a function (where the dot in g.g stands for function...

 

Transcribed Image Text:

Given is the following definition of a function (where the dot in g.g stands for function composition, and where div is Integer division): fun: (Int→ Int) → Int→ Int fun gn❘ n<0 =1 | even n =g (fun (g.g) (n 'div' 2)) fung n= fun(fun(g) (g (n 'div' 2)) For each of the following function applications, decide whether the evaluation terminates or not. If it does, write down the final result: function application fun (lampda x-x-2) 4 fun(lampda x-x-2)6 Given is the following definition of a function (where the dot in g.g stands for function composition, and where div is Integer division): fun: (Int→ Int) → Int→ Int fun gn❘ n<0 =1 | even n =g (fun (g.g) (n 'div' 2)) fung n= fun(fun(g) (g (n 'div' 2)) For each of the following function applications, decide whether the evaluation terminates or not. If it does, write down the final result: function application fun (lampda x-x-2) 4 fun(lampda x-x-2)6

Answer rating: 100% (QA)

Lets analyze the given function and then evaluate the given function applications The function fun t... View the full answer