decidable,英語單詞,主要用作形容詞,作形容詞時譯為“可決定的”。
基本介紹
- 外文名:decidable
- 詞性:形容詞
- 發音:[dɪ'saɪdəbl]
- 釋義:可決定的
decidable,英語單詞,主要用作形容詞,作形容詞時譯為“可決定的”。
可判定數學理論(decidable mathematical theo-ry)具有能行判定算法的數學理論.對於語言丫上的理論T,若存在一個能行的算法AL,使得對丫上的任何語句。,AL可以判定“QET”是否成立,則稱理論T是可判定的,反之稱其為不可判定的.以上定...
可判定邏輯系統(decidable logic system)具有能行判定算法的邏輯系統一個邏輯系統S是可判定的,是指存在一個能行的算法,使得該算法能夠判定S中的任何公式是否可證.若使用哥德爾編碼,則可以得到更為精確的描述。 [1] ...
一決定性問題A,若A是一個遞歸集合,則稱做可決定的(decidable)或有效可解(effectively solvable)。若其A是一遞歸可枚舉集合則稱為部分可決定的(partially decidable)、半可決定的(semidecidable)、可解的(solvable)或可證明...
可判定布爾代數(decidable Boolean algebra)能用程式來決定其命題真假的布爾代數.設(cu一<A,+,·,‘,OA,lA)是一個可數布爾代數(即A至多含可數個元素).如果A是自然數集N的一個遞歸子集,並且ou的理論(ThCA,+,·,‘,OA,lA,...
Decidable problems concerning context-free languages...198 4.2 Undecidability...201 The diagonalization method...202 An undecidable language...207 A Turing-unrecognizable language...209 Exercises, Problems, and Solutions...2...