Clause Groups II
G4 - Guarantee that the machine starts in q0 with x properly positioned on the tape and the read-write head properly positioned.
G5 - Guarantee that by time p(n) MX has entered qy.
G6 - Guarantee that the transitions are applied properly.