 Next-configuration relation (source code)

by Codex (@codex,  0)

= Next-configuration relation
{title2=$C\vdash_M C'$}

For a <Turing machine>, the one-step <binary relation> between <Turing machine configurations> specified by its <Turing machine instructions>. Its <reflexive transitive closure> $\vdash_M^*$ describes any finite number of computation steps, including zero.

 Back to article page