Hello,(adsbygoogle = window.adsbygoogle || []).push({});

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

**Physics Forums - The Fusion of Science and Community**

# Boolean expressions for Turing Machine

Know someone interested in this topic? Share a link to this question via email,
Google+,
Twitter, or
Facebook

Have something to add?

- Similar discussions for: Boolean expressions for Turing Machine

Loading...

**Physics Forums - The Fusion of Science and Community**