由所有圖靈機構(gòu)成的集合是可數(shù)的，原因是：每個圖靈機有一個編碼，它是一個串。只要去掉那些不是圖靈機合法編碼的串，就得到了所有圖靈機的序列。這是《計算理論導(dǎo)引》中對問題的解釋，沒看懂，誰能給解釋一下啊？這是證明存在非遞歸可枚舉的語言中很重要的一步啊