The next four questions are based on the following two definitions Color is the

Question

The next four questions are based on the following two definitions Color is the Inductive type deined by the foowing coestructors 1. Blue: Color 2. Red: Color. Tree is the inductive type delined by the following cxestructors 1, Leaf Z?Tree 2. Branch! : Tree ? Tree. 3. Branch2 Color × Tree x Tee ? Tree. Z is here the type of integers. Question 271 mark te types Color "ad Tree ontain--elemnts and--ekmets. _tinb Which saver fills in the blanks in order correctly? A. 2 and 3 B. 2 and 6. C. 2 and infinitely many D. infnitely many and inEnitely many Question 28 1 mark The stractural induction principle Induced by the definition of Tree has the form where X is and P is any property of the members of Tree A. Ye: Color Vty,:Tree P(Branch2cfyf) B. Yt,t:Tree P(Branch2 Bluet,ta) A P(Branch2 Red tta C.Yt : Tree * PtoYe:Color * P (Branch2ett). Question 29 1 mark Cosider the function val : Tree Zdened by putten matching u'lwK 1. val (Leafn)- 2 val (Branch11)--(valt) 3. vai (Branch2 Blue t )-(valt;) + (valta). val (Branch2 Redt, f) (valt) (val ta What is the value of valt where t is Branch1 (Branch2 Red Branch1 (Leaf2) Branch2 Blue Leaf 3) Leaf (-1)))2 C. 4

Explanation / Answer

Solution:

Note: The first question (with its subparts, if any) is done as per Chegg guidelines, please repost others.  

27)

2 and infinitely many

28)

D is correct

29)

B is correct

Explanation:

The expression formed will be

-(-2 + (3+(-1)) = 0

I hope this helps if you find any problem. Please comment below. Don't forget to give a thumbs up if you liked it. :)

Related Questions

Navigate

• Browse (All)
• Browse T
• Subjects

---

---

Integrity-first tutoring: explanations and feedback only — we do not complete graded work. Learn more.