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