可判定性

✍ dations ◷ 2025-09-12 18:20:34 #可判定性

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

相关

骨科学人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学骨科学（英语：Osteology）或骨学是对骨骼的
识字率识字率的定义为一个国家当中，十五岁以上的合法“劳动人口”中能读写文字的人的比率，就目前而言，全球平均识字率正在增加当中，但是世界上依然有不少失学的人口。识字率能反映出一
杆菌肽杆菌肽（bacitracin）是由枯草杆菌的变种“崔西”之地衣状菌素有机体所产生的相关环肽之混合物，在1945年首次分离出来。这些肽借由干扰"肽聚糖合成"及细胞壁而破坏革兰氏阳性菌及
关节积血关节积血（英语：Hemarthrosis）是指关节内出血。这是血友病的常见症状。通常在损害受伤后发生，但主要在有出血倾向的患者，例如，使用华法林（warfarin，或其他抗凝剂）的患者和血友病患者。
药物过量药物过量（英语：drug overdose或overdose，简称OD）是指因个人或经他人蓄意、无意或误认下，摄取或服用超过医师指示用药量、或超过建议用药量、或超过常规用药量，而产生中毒或导致死
血液透析血液透析（英语：Hemodialysis），是将血液抽出体外，经过血液透析机的渗透膜，清除血液中的新陈代谢废物和杂质后，再将已净化的血液输送回体内，俗称“洗肾”及“洗血”。血液透析可用于肾
饮食计划节食指限制吃的食物分量，通常是以减肥瘦身作为目的。根据美国卫生研究局(National Institutes of Health, NIH)、美国营养学会(American Society for Nutrition, ASN) 的建议
吡硫吡硫
MozillaMozilla是一个自由软件社群，由网景通信公司的成员于1998年创立。在非正式的场合下，“Mozilla”这个名字常用于不同的事物上。这些事物大都与现已歇业的网景通信公司及其旗下的
试用期试用期泛指在就业场所中的新进员工，在最初的雇用期间，用以观察员工在职务上的表现是否适任，通常以三个月为限。满试用期后，如果留任，通常会给予第一次的加薪；反之如果不适任，则会预