文章目錄

• 一、可判定性總結
• 二、概覽

一、可判定性總結

---

確定性有限自動機 , 下推自動機 , 圖靈機 是目前提到過的計算模型 ;

關于 確定性有限自動機 的所有計算問題都是 可判定的 ;

關于 圖靈機 的所有計算問題 都是 不可判定的 ;

關于 下推自動機 的計算問題 , 一半是可以判定的 , 另一半是不可判定的 ;

下推自動機 ( PDA ) 可判定問題 :

① 下推自動機 ( PDA ) 的 接受問題 是可以判定的 , ${\mathrm{A}}_{\mathrm{P}\mathrm{D}\mathrm{A}}$ 可判定 ;

② 下推自動機 ( PDA ) 所 認識的語言是否是空集問題 , 是可判定的 , ${\mathrm{E}}_{\mathrm{P}\mathrm{D}\mathrm{A}}$ 可判定 ;

③ 任何一個 上下文無關語言 ( CFL ) 都是可判定語言 ;

下推自動機 ( PDA ) 不可判定問題 :

① 兩個 下推自動機 ( PDA ) 是否相互等價 是不可判定的 , $\mathrm{E}{\mathrm{Q}}_{\mathrm{P}\mathrm{D}\mathrm{A}}$ 可判定 ;

② 上下文無關語法 ( CFG ) 是否有歧義 , 不可判定 ;

二、概覽

---

可計算性對應的模型就是 圖靈機 ; 主要目的是 了解什么是計算 ,

計算理論分為 形式語言與自動機 , 可計算部分 , 計算復雜性部分 ;

之前博客中介紹的 自動機 , 確定性有限自動機 , 非確定性有限自動機 , 正則語言 , 泵引理 , 上下文無關語法 , 下推自動機 , 都屬于 形式語言 與 自動機 部分 ;

現在開始講解 可計算部分 , 即 圖靈機 ;

圖靈機內容分為 : 圖靈機 , 圖靈機變形 , 丘奇-圖靈論題 ;

前幾篇博客講解的是 可計算部分 , 圖靈機 , 確定性圖靈機 , 非確定性圖靈機 , 丘奇-圖靈命題 , 可判定性 , 可計算性 等問題 ;

總結

以上是生活随笔為你收集整理的【计算理论】可判定性 ( 可判定性总结 )的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。