The Variables
Q[i,qk] where i runs from 0 to p(n) and qk runs through all states of MX
H[i,j] where I runs from 0 to p(n) and j runs from -p(n) through p(n)+1
S[i,j,sk] where i runs from 0 to p(n), j runs from -p(n) through p(n)+1, and sk runs through all symbols of T (tape symbols)