本書以計算機科學中的可計算性理論和計算復雜性理論為背景，以生活的比喻，介紹這一領域的基礎知識和主要研究成果。
具體描述
讀後感
評分
評分
評分
評分
評分
用戶評價
评分
圖靈機， 遞歸函數， λ演算 ，命題和謂詞邏輯演算，文法 語言和自動機 五種理論計算模型等價。零型 一型 二型 三型 文法的計算能力分彆對應與非確定性 圖靈機 綫性遊街自動機 下推自動機 有窮自動機 代兩個下推棧的有窮自動機等於圖靈機，確定性下推自動機 的計算能力小於非確定性下推自動機的計算能力。待數據是圖靈帶子上的數據 ，程序 解題步驟 相當於圖靈機的控製函數也放在計算機裏，這樣就不用改結構 而隻需改變計算機的程序的軟辦法（類比信號處理過程都是軟方法而不是改變硬件的方法）。偏序和格 不動點與遞歸函數等價性
评分這書不錯，講的挺明白。
评分這書不錯，講的挺明白。
评分總的來說，還是科普性更強一點！
评分上帝當然是個充滿惡意的數學傢，為瞭數學傢用不失業，居然搞齣哥德爾不完全性定理。
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有