确定以下语言是否可确定

时间:2018-11-12 18:19:37

标签: turing-machines decidable

{⟨M,N⟩| L(M)∩L(N)中的所有字符串均以110开头。}

我认为这种语言是可以决定的。我们可以制作一个图灵机TM,作为输入。对于L(M)∩L(N)中的每个字符串,如果字符串以110开头,则在前3位数字之后,我们暂停并接受。如果前三位数不是110,我们将暂停并拒绝。我不确定如果字符串不在L(M)∩L(N)中怎么办。

总体而言,我不确定我的图灵机是否正在正常工作。我可以得到一些反馈吗?

1 个答案:

答案 0 :(得分:0)

如果M和N是图灵机,则该语言不可判定。如果是这样,我们可以使N为可以接受所有字符串的TM,然后我们将为{M | M中的所有字符串均以110}开头。我们可以认识到这不是可决定的,因为某些TM的条件为true,其他TM的条件为false,并且其语义是因为它处理语言中的字符串。因此赖斯定理适用。