Exercise I.6.1 in the book.
Exercise I.6.3 in the book.
Start with cc.ss, and add scc-red to implement the SCC reduction rules.
Find an expression that reduces in fewer steps using the SCC machine compared to the CC machine.
Find an expression that reduces in fewer steps using the CC machine compared to he SCC machine.
Last update: Thursday, February 12th, 2009mflatt@cs.utah.edu |