Assertion: machine's table | /r/HasProperty | post’s quadruple notation
Facets:
Source sentences:
text: This results in the quadruple notation of Turing machines, where each quadruple is in one of the three forms of Table 3: Table 3: Post’s Quadruple notation \[ \begin{aligned}\hline & q_iS_jS_{i,j}q_{i,j}\\ & q_iS_jLq_{i,j}\\ & q_iS_jRq_{i,j}\\\hline \end{aligned} \] \[ \begin{aligned}\hline & q_iS_jS_{i,j}q_{i,j}\\ & q_iS_jLq_{i,j}\\ & q_iS_jRq_{i,j}\\\hline \end{aligned} \]