Page 1 of 1
Consider the closure Cl(I, O) where I = {2} and O contains just two operations on integers: input vars output var x + y
Posted: Mon May 02, 2022 5:16 pm
by answerhappygod
- Consider The Closure Cl I O Where I 2 And O Contains Just Two Operations On Integers Input Vars Output Var X Y 1 (37.24 KiB) Viewed 23 times
Consider the closure Cl(I, O) where I = {2} and O contains just two operations on integers: input vars output var x + y = and input vars output var x-Y Prove that Cl(I, O) = {2n: n ≥ 0 Vn<0}. Do so as required below: (a) (3 MARKS) For Cl(I, O) ≤ {2n: n ≥ 0 Vn< 0} do induction over the closure. (b) (3 MARKS) For Cl(I, O) 2 {2n: n ≥0Vn<0} produce a derivation for the arbitrary 2n € {2n: n ≥ 0 Vn<0}. =