In class, we discussed the encoding of Church numerals, the successor function, and the addition function: SUCC = An. f. Xx. ƒ (n ƒ x) ADD = An1. An2. n1 SUCC n2 Reduce term “ADD 2 1" to the normal...

In class, we discussed the encoding of Church numerals, the<br>successor function, and the addition function:<br>SUCC = An. f. Xx. ƒ (n ƒ x)<br>ADD = An1. An2. n1 SUCC n2<br>Reduce term “ADD 2 1

Extracted text: In class, we discussed the encoding of Church numerals, the successor function, and the addition function: SUCC = An. f. Xx. ƒ (n ƒ x) ADD = An1. An2. n1 SUCC n2 Reduce term “ADD 2 1" to the normal form; start by expanding the definition of ADD and show every step of reduction.

Jun 03, 2022

SOLUTION.PDF

In class, we discussed the encoding of Church numerals, the successor function, and the addition function: SUCC = An. f. Xx. ƒ (n ƒ x) ADD = An1. An2. n1 SUCC n2 Reduce term “ADD 2 1" to the normal...

Get Answer To This Question

Related Questions & Answers

Submit New Assignment