The Structure of MX I
Any Turing Machine has a State Diagram, and a tape
The tape is assumed to be a linear set of squares, each containing a symbol
There is a blank symbol b, that occupies any un-accessed squares of the tape
The tape extends indefinitely in both directions