标签： turing-machines formal-languages
如果我有两台图灵机A和B，那么假设A接受语言L中具有属性P的每个单词，而B接受相反的语言，则它接受不具有属性P的每个单词。不知道A和B在互补情况下是否会拒绝，我只能说他们是识别者。我可以构建一个图灵机来确定单词是否为L语言吗？
我当时正在考虑制造一个由A和B组成的抽象图腾机C，如果一个单词“输入” C，那么这个单词将同时“输入” A和B，因此接受时刻A当B接受时接受并拒绝，因此总是停下来吗？这跟吗？还是我缺少什么？
对不起，如果我的解释过于随意。