計算理論學習筆記（三）

圖靈機™ 有窮自動機與圖靈機區別：圖靈機在帶子上能寫能讀；讀寫頭即能左移也能右移；帶子無限長；進入拒絕和接受狀態立即停機。 定義 格局 圖靈可判定：有限步驟內，可知結果是yes或者no. 圖靈可識別：有限步驟內，可知結果是yes.對於no的可能進入死循環. 圖靈可補識別：有限步驟內，可知結果是no.對於yes的可能進入死循環. 識別語言 0 2 n 0^{2^n} 02n的圖靈機如圖. 每次減半，

>>阅读原文<<