首页 >
可判定性
✍ dations ◷ 2025-04-04 05:12:39 #可判定性
一个语言
L
{displaystyle L}
，是一个集合，且其补集为
L
¯
{displaystyle {overline {L}}}
。
当
L
{displaystyle L}
是图灵机可识别时，语言
L
{displaystyle L}
则称为半可判定。
当语言
L
{displaystyle L}
不是图灵机可识别，则为不可判定语言。
当且仅当
L
{displaystyle L}
和
L
¯
{displaystyle {bar {L}}}
都是图灵机可识别的时候，L才能称为可判定语言。指一个询问真 / 假的问题是否可被回答。若不论一个问题答案为真或为假时均能得出该答案，则称这个问题、或解决该问题时所用的算法为可判定的；若只能在答案为真时得出、但在答案为假时不能做出判断，那么称为半可判定的；若根本不能得出为真或为假的结论，那么称为不可判定的。
相关
- 麻醉在医学领域（尤其是外科、牙医学）中，麻醉（英语：anesthesia或anaesthesia）是一种临时失去意识和感觉的状态。它可能包括疼痛减轻、瘫痪（指肌肉放松）、失去记忆和无意识。
- 空肠弯曲菌空肠弯曲菌（Campylobacter jejuni）菌体轻度弯曲似逗点状，长1.5～5 μm,宽0.2～0.8 μm。菌体一端或两端有单鞭毛，运动活泼，在暗视野镜下观察似飞蝇。无荚膜，不形成芽胞。微需氧菌，在含5
- 人格障碍人格障碍（英语：personality disorders），或人格（性格）疾患／异常／违常。是精神疾病中，对于一群特定拥有长期而僵化思想及行为病患的分类。这类疾患常可因其人格和行为的问题而导致社会
- 妥瑞症图雷特氏综合征（英语：Tourette Syndrome、TS），又称抽动症、托雷氏症、杜雷氏症，是一种抽动综合症（Tics）。这是一种遗传性的神经内科疾病，通常发生于学龄前至青春期前。有一部分的患
- 苯并咪唑苯并咪唑是一个多环芳香杂环化合物，由苯和咪唑并合而成，分子式为C7H6N2。维生素B12分子中，5,6-二甲基苯并咪唑为碱基与钴中心相连。苯并咪唑与咪唑类似，也是制备氮杂环卡宾的常
- Libman–Sacks endocarditis利-萨二氏心内膜炎（Libman–Sacks endocarditis）是一种与全身性红斑性狼疮有关的非细菌性心内膜炎。为红斑性狼疮最常见的心脏病变之一。本疾病最早于1924年由纽约西奈山医院（
- 图林根图林根自由州（德语：Freistaat Thüringen）是德国十六个联邦州之一，面积16,200平方千米，在联州中列第十一位；人口245万，列第十二位。首府为爱尔福特。图林根绿色植被覆盖良好，加之位
- 美国短吻鳄美国短吻鳄（学名：Alligator mississippiensis），又称密西西比河鳄，是西半球大型的鳄鱼物种。雄性鳄长达4米以上，雌的不到3米。幼鳄为黑色，身上点缀著无规律的黄色横向带纹，到了成年时
- 喉腔喉腔（laryngeal cavity、cavity of the larynx）从喉入口向下延伸到环状软骨下缘，与气管相续。喉腔经由声带的投射分为两部分，其间是一个狭窄的三角形开口，即声门裂（英语：rima glott
- 过渡体衬线体（Serif）是一种有衬线的字体，又称为有衬线体、衬线字、曲线描边字，俗称白体字；而与之相对的，没有衬线的字体则被称为无衬线体。衬线是字形笔画末端的装饰细节部分。一般认为
