圖靈機分為確定圖靈機和不確定圖靈機。確定型圖靈機僅有一個轉移函式,轉移函式是從一個圖靈狀態到另一個圖靈狀態發出的指令。
相關詞條
- 確定圖靈機
圖靈機分為確定圖靈機和不確定圖靈機。確定型圖靈機僅有一個轉移函式,轉移函式是從一個圖靈狀態到另一個圖靈狀態發出的指令。...
- 確定型圖靈機
確定型圖靈機(deterministic Turing machine)一種圖靈機.指每一步都惟一確定的圖靈機.設M為一個圖靈機,則只要給M一個輸入,M便會以一種唯一確定的方式進行運行....
- 非確定型圖靈機
非確定型圖靈機(non-deterministic Turingmachine)確定型圖靈機的一種推廣。設P為一個由圖靈機指令組成的有窮集合,P不一定滿足相容性條件,如果把P作為程式,依類似...
- 圖靈機
圖靈機 (Turing machine, TM) 是由圖靈在1936年提出的,它是一種精確的通用計算機模型,能模擬實際計算機的所有計算行為。所謂的圖靈機就是指一個抽象的機器,它有...
- 機率圖靈機
機率圖靈機是一個非決定型圖靈機,在每個轉折點根據某種機率分布隨機選擇某種可行的轉變(transition)。...
- 圖靈機接受語言
圖靈機接受字的集合.設M為以J獷為字母表的圖靈機,在M的內部狀態集Q中指定一個子集Y里Q,Y中的內部狀態q:為接受狀態.對J獷上的任何字。,若M在輸入。後會...
- 波斯特-圖靈機
Post-圖靈機是一種特別簡單類型的圖靈機的"程式公式化",由下面描述的Emil Post的圖靈等價的計算模型構成。(Post的模型和圖靈的模型,儘管相互之間非常類似,但卻是...
- 交替式圖靈機
圖靈機在理論上能夠模擬現代數字計算機的一切運算, 可視為現代數字計算機的數學模型,是一種抽象的計算模型。交替式圖靈機(Alternating Turing Machine,ATM)是計算複雜...
- 自動化理論-圖靈機
英國數學家A.M.圖靈提出的一種抽象計算模型,用來精確定義可計算函式。圖靈機由一個控制器、一條可無限延伸的帶子和一個在帶子上左右移動的讀寫頭組成。這種機器...
- 非確定性
所謂非確定性是指在理論計算機科學中,針對各種計算機器模型(自動機),在每一時刻,根據當時的狀態和輸入,若機器有多個動作可供選擇時,則稱機器為非確定性的;相反,...
- 圖靈完備
在可計算性理論里,如果一系列運算元據的規則(如指令集、程式語言、細胞自動機)可以用來模擬單帶圖靈機,那么它是圖靈完備的。這個詞源於引入圖靈機概念的數學家艾倫...
- 圖靈完備性
在可計算性理論里,如果一系列運算元據的規則(如指令集、程式語言、細胞自動機)可以用來模擬單帶圖靈機,那么它是圖靈完備的。這個詞源於引入圖靈機概念的數學家艾倫...
- 線性有界自動機
線性有界自動機是一種圖靈機,是把計算限制在僅僅包含輸入的那一段帶上的圖靈機。可用作上下文有關語言的識別接受器。...