到目前为止,我遇到了两种类型的语言。有严格格式的语言,如 L = {a^n b^n c^n | N> = 1} 这种语言很严格的,例如一个公司将收到B的等 的其他类型的我遇到经常来是语言它可以是任何顺序。 L = {A,B} *,其中a的数> B的 这种语言的数目可以是一个和b的其不是卡在适当位置的任何顺序。 For the languages that are structured this m
我有这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是不可判定的,但我不知道他们是否图灵识别或共同图灵识别。