The Structure of MX III

• The set of states is Q

• There are three distinguished states of Q, q0, qy and qn. (qn is not strictly required.)

• When MX is in state qy or qn, it is halted and no more transitions are possible.

• q0 is the start state

Previous slide

Next slide

Back to first slide

View graphic version