CS 7520 Homework I-6.1-3

Part 1

Exercise I.6.1 in the book.

Part 2

Exercise I.6.3 in the book.

Part 3

Start with cc.rkt, and add scc-red to implement the SCC reduction rules.

Part 4

Find an expression that reduces in fewer steps using the SCC machine compared to the CC machine.

Part 5

Find an expression that reduces in fewer steps using the CC machine compared to the SCC machine.

Part 6

Exercise I.6.5 in the book.