The following is a high-level overview of the things covered in discussion
on November 10, 2008.
Homework 4- Start early; it's longer and more difficult.
From High-level TMs to Low-level TMs-- A systematic and general way to go from high level descriptions of TMs (like "scan left to right over the tape and cross off...") to state diagrams. The main idea is to use smaller machines (called submachines) and combine them to create larger and more complex machines.