我有这2种语言 A = {<M> | M is a TM and L(M) contains exactly n strings }
B = {<N> | N is a TM and L(N) contains more than n strings }
我相信,这些2是不可判定的,但我不知道他们是否图灵识别或共同图灵识别。
L2 = {<M> : M is a TM and there exists an input string w such that M halts within 10 steps on input w}
嗨。我正在创建一个算法,以显示L2以上是可确定的。 而提示被给出为以下: 要显示L2是可判定的,测试对 长度的所有输入串给定的TM M达至多10,每一个用于10个步骤。请注意,有很多这样的字