- #1
insectosaurus
- 5
- 0
Hello,
I want to express Non-Deterministic Turing Machine constraint with boolean expression.
The constraint is: "Cells which aren’t being read remain the same at time t+1".
lets say H[i,j] means the read/write head at time i at cell j
and S[i,j,k] means the symbol k at time i in cell j
so the expression would be:
~H[i,j] ^ ~S[i,j,k] -> ~S[i+1,j,k]
which equivalent to
H[i,j] V S[i,j,k] V ~S[i+1,j,k]
is this correct ?
i saw in many lecture notes in the web very different expressions, so I'm confused for what's correct.
Thank You
I want to express Non-Deterministic Turing Machine constraint with boolean expression.
The constraint is: "Cells which aren’t being read remain the same at time t+1".
lets say H[i,j] means the read/write head at time i at cell j
and S[i,j,k] means the symbol k at time i in cell j
so the expression would be:
~H[i,j] ^ ~S[i,j,k] -> ~S[i+1,j,k]
which equivalent to
H[i,j] V S[i,j,k] V ~S[i+1,j,k]
is this correct ?
i saw in many lecture notes in the web very different expressions, so I'm confused for what's correct.
Thank You