如何设计负数补码的图灵机五元组指令集

如何设计负数补码的图灵机五元组指令集

由原码转成补码的图灵机五元组指令集：
{q0, B, B, R, q0}
{q0, 0, 0, R, q1}
{q0, 1, 1, R, q2}
{q1, 0, 0, R, q1}
{q1, 1, 1, R, q1}
{q1, B, B, N, q4}
{q2, 0, 1, R, q2}
{q2, 1, 0, R, q2}
{q2, B, B, L, q3}
{q3, 0, 1, R, q1}
{q3, 1, 0, L, q3}
{q3, B, B, R, q1}
其中：
q0 —— 初始，读写头位于原码串左
q4 —— 结束，读写头位于补码串右
q1 —— 右移，直到输入串结束
q2 —— 求反
q3 —— 加一

S0 b b R S1
S1 1 1 R S2
S2 0 1 R S2
S2 1 0 R S2
S2 b b L S3
S3 0 1 N Sh
S3 1 0 L S3
S3 b 1 N Sh
R:向右移动一格
L:向左移动一格
N:不移动
Sh:停止