到目前爲止,我遇到了兩種類型的語言。有嚴格格式的語言,如 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是不可判定的,但我不知道他們是否圖靈識別或共同圖靈識別。