(資料圖片僅供參考)
1、由于圖靈機帶向右限延伸所圖靈機存儲空間計算間都限制增加圖靈機般算概念精確化即任何算均由適圖靈機模擬尚未發現直觀計算函數能由圖靈機計算且已關于直觀計算函數另些精確化定義遞歸函數、λ 定義函數等都等價于圖靈機定義計算函數 通用圖靈機 已經證明存圖靈機U,模擬任何其圖靈機T,U稱通用圖靈機U帶記錄著模擬機器T指令描述記錄著T問題數據工作程U根據輸入帶記錄T指令模擬T作處理問題數據U模擬任何計算程 停機問題 圖靈機根據機器程序處理初始格局初始格局能導致停機則導致限格局序列停機問題:否存算于任意給定圖靈機都能判定任意初始格局否導致停機已經證明算存即停機問題判定 停機問題研究許判定問題基礎往往問題判定歸結停機問題:問題 A判定則停機問題判定證明問題 A判定性停機問題種同敘述式證明別適用于具同特征問題。
本文就為大家分享到這里，希望小伙伴們會喜歡。
標簽：
Copyright @ 2001-2013 www.caidouzi.com All Rights Reserved 財經新聞網 版權所有 京ICP備12018864號-1
網站所登新聞、資訊等內容, 均為相關單位具有著作權,轉載請注明出處
未經彩迅新聞網書面授權，請勿建立鏡像 聯系我們： 291 32 36@qq.com
營業執照公示信息