CS 4960-01 Homework I-6.1-2

Part 1

Exercise I.6.1 in the book.

Part 2

Exercise I.6.3 in the book.

Part 3

Start with cc.ss, 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 he SCC machine.