可判定問題

可判定問題是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。

基本介紹

• 中文名：可判定問題
• 外文名：decidable problem
• 所屬學科： 計算機科學技術
• 公布年度 ：2018年

定義

存在一個算法在有窮時間內給出“是”或“否”答案的問題。

出處

《計算機科學技術名詞 》第三版。

公布時間

2018年，經全國科學技術名詞審定委員會審定發布。