如何构造此图灵机？

Question

我们如何构造可以接受的TM（仅给出描述）：

a + b = c

一种 。 b = c

输入的形式为a＃b＃c。

a，b和c属于{0,1} *，并且是正二进制无符号整数。

我知道如果输入具有一元表示形式，那么我们可以构造TM，但是如何解决它具有二进制表示形式呢？

Answer 1

好吧，与一元情况相比，二进制加法和乘法要复杂得多，但并不是那么困难。 补充：

1. 将两个最低位相加。 如果总和为零或一，则这是结果的最低位。 如果总和为2，则最低位为零，并且您有一个进位。
2. 继续到下一个最低位。 将两个和可能的进位相加，如果总和为零或一，则这是结果的当前位。 如果总和为2，则当前位为零，并且您有一个进位。 如果总和为3，则当前位为1，并且您有一个进位。
3. 重复2，直到处理完所有位。

对于乘法，您可以使用类似这种方法。 如果您确实需要做详细的工作，这将是在TM上进行编程的工作。