图灵机协助

Question

我一直在设计图灵机，最近解决的是一种语言L = {w：n _a （w）= n _b （w）}，其中w中a的数量等于数量的b在w中

但是，我将如何设计一种图灵机，使其语言在w中a的个数不等于w中b的个数？ （例如L = {w：n _a （w）≠n _b （w）}？

我一直在参考的书和网站对图灵机的定义如下：

M =（Q，Σ，ℾ，δ，q ₀ ，☐，F），其中Q是状态，Σ是输入字母，ℾ是磁带字母，δ是过渡，q ₀是开始状态，☐是一个空白空间，是ℾ（☐∊）的元素，F是指定为q _f的最终状态。

Answer 1

如果您最近解决了a和b的数目相等的情况，那么对于不相等的情况的直接解决方案是：

• 如果您曾经崩溃过（没有有效的过渡），则向halt_accept添加过渡；
• 如果您过去曾经通过halt_reject来明确拒绝，则转到halt_accept；
• 如果您以前通过输入halt_accept接受，则转至halt_reject。

新的TM（1）接受a和b相等的情况下TM不会接受的任何内容，（2）拒绝a数目等于a的情况下TM可以接受的任何东西和b。

实际上，该过程适用于任何仅以机器语言确定输入字符串成员资格的TM； 枚举补充语言中的字符串是行不通的，但这并不一定是您所需要的（您可以通过将像这样构造的机器作为子机器，再枚举所有字符串并对其进行检查来获得枚举）。