The Structure of MX IV
The set ? determines the legal transitions
The set of tape symbols T=????{b}??
If (qi,sj,qk,sl,L)??, then when MX is in state qi and scanning symbol sj on its tape, then it is legal for M to write sl into the current tape square, move one square to the left, and enter state qk