可判定性

✍ dations ◷ 2025-12-06 11:24:55 #可判定性

一个语言 L {displaystyle L} ，是一个集合，且其补集为 L ¯ {displaystyle {overline {L}}} 。当 L {displaystyle L} 是图灵机可识别时，语言 L {displaystyle L} 则称为半可判定。当语言 L {displaystyle L} 不是图灵机可识别，则为不可判定语言。当且仅当 L {displaystyle L} 和 L ¯ {displaystyle {bar {L}}} 都是图灵机可识别的时候，L才能称为可判定语言。指一个询问真 / 假的问题是否可被回答。若不论一个问题答案为真或为假时均能得出该答案，则称这个问题、或解决该问题时所用的算法为可判定的；若只能在答案为真时得出、但在答案为假时不能做出判断，那么称为半可判定的；若根本不能得出为真或为假的结论，那么称为不可判定的。

相关

透镜本条目介绍的是光学设备，其他领域的透镜不在此处讨论。透镜是一种将光线聚合或分散的设备，通常是由一片玻璃构成，但用于其他电磁辐射的类似设备通常也称为透镜，例如：由石蜡制成的
专性厌氧专性厌氧菌（obligate anaerobes）是一类仅能进行无氧呼吸，且无法在正常大气（氧含量21%）等富氧环境下存活的微生物。这类生物对氧气的耐受力不同，部分专性厌氧菌可以在氧含量达8%的
异氰酸酯异氰酸酯是一类由异氰酸衍生出的酯，通式为R-N=C=O，是氰酸酯R-O-C≡N的异构体。根据分子中酯基个数的不同，可分为单异氰酸酯、二异氰酸酯等。二异氰酸酯可用于生产聚氨酯。通常
多瑙河地区性家族性肾病多瑙河地区性家族性肾病(Danubian endemic familial nephropathy、DEFN)、也被称为"巴尔干半岛地方性肾病"(Balkan endemic nephropathy、BEN) - 是间质性肾炎的一种形式。
临时参议长议长：南希·裴洛西（民主党）多数党领袖（英语：Party leaders of the United States House of Representatives）：斯坦利·霍耶（民主党）少数党领袖（英语：Party leaders of the United Sta
嗜中性白血球中性粒细胞（英语：Neutrophil 或 Neutrocyte，或全称 Neutrophilic Granulocyte）亦称嗜中性粒细胞或嗜中性多核球，是血液白细胞的一种，也是哺乳动物血液中最主要的一种白细胞。中性
艾司西酞普兰艾司西酞普兰（英语：Escitalopram），或称依地普仑，商品名为立普能（Lexapro）等，是一种选择性5-羟色胺再摄取抑制剂（SSRI）类抗抑郁药。美国食品药品监督管理局（FDA）批准其用来治疗成人和12
希律王希律（希伯来语：.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram Tsova","Taamey Ash
文学家作家特指文学创作上有盛名或成就的人，近代已泛指以写作为职业的人。相对于“作者”一词而言，“作家”一词比较广义，包括网上写手、自由撰稿人、任何种类出书的作者都可以被称为
脸颊脸颊（拉丁语：buccae）是指眼睛下部，鼻子周围到左右耳的表面部分。具体是指人类和哺乳动物面部皮肤直到下巴的部分，并且在眼睛和颧骨的下部内形成了口腔侧壁。在脊椎动物亚门中，脸颊