圖靈機不可斷定問題

一. 圖靈機簡介        圖靈機（Turing Machine）有有限個狀態。其中一個狀態是開始狀態。這些狀態的一個子集是接受狀態，還有一個子集是拒絕狀態。接受狀態子集和拒絕狀態子集不相交（不能有一個狀態既是接受狀態，也是拒絕狀態）。        有一個字符集Σ，圖靈機以Σ上的字符串ω做爲輸入（ω∈Σ*，Σ*是一個集合，它的元素是：由0個或多個Σ上的字符組成的有限長度的字符串）。圖靈機還有

>>阅读原文<<