可判定性

✍ dations ◷ 2024-07-03 08:17:26 #可判定性

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

相关

溶血性尿毒综合征溶血性尿毒综合征（英语：Hemolytic-uremic syndrome, HUS）是一种由于溶血性贫血（Hemolytic anemia）而引发的急性肾损伤（Acute kidney injury）和血小板数量下降综合征。病因不明，发病
鼻疽伯克霍尔德氏菌鼻疽伯克霍尔德氏菌（Burkholderia mallei），又称鼻疽伯克氏菌、鼻疽假单孢菌，一种革兰氏阴性菌，属于伯克氏菌属。它会引起马鼻疽。医学导航：病菌细菌（分类）gr+f／gr+a（t）／gr-p（c／gr-o药物（J1p
沙特阿拉伯沙特阿拉伯（阿拉伯语：العربية السعودية‎），或译沙乌地阿拉伯、沙地阿拉伯，全称沙特阿拉伯王国（阿拉伯语：المملكة العربية السعودية‎，al-Maml
罗得岛罗德岛（希腊语：Ρόδος Ródos ）是爱琴海上的一个岛屿，位于佐则卡尼萨群岛的最东端，它也是该群岛的主岛和希腊所辖最东的岛屿，距离土耳其仅18公里。其名来自于古希腊语中的“Ρ
天主教会大分裂天主教会大分裂（1378年－1417年），即阿维尼翁分裂，是罗马天主教会中数位教宗同时要求其合法性导致的一次分裂。和“异端”及之后新教脱离的宗教改革运动不同，“分裂”这个称谓是被天
维他命B17扁桃苷（Amygdalin，源自希腊语“扁桃”ἀμυγδάλη amygdálē ），又名苦杏仁苷，是许多植物中发现的一种有毒的氰苷，但最引人注目的是存在于杏、苦杏仁、苹果、桃及梅子等植物
认知再建构异常心理学行为遗传学生物心理学心理药物学认知心理学比较心理学跨文化心理学文化心理学差异心理学（英语：Differential psychology）发展心理学演化心理学实验心理学
酒渣鼻酒糟鼻（Rosacea，又称玫瑰痤疮）是一种以脸部红斑和丘疹（有时）为特点的慢性皮肤病。酒糟鼻在所有年龄层都可能发病并且分为四种类型，其中三种患及皮肤，而第四种患及眼睛。疾病若得不
按章工作按章工作是工业行动的一种，指员工以不多于其雇员合约所规定的职责范围，并完全依从安全指引之类的守则而不作任何变通的条件下工作，以达到减慢工作进度、降低生产率等令雇主有所
5号染色体人类的5号染色体是23对染色体的其中之一，正常状况下每个细胞拥有两条。此染色体含有大约181百万个碱基对，占细胞内所有DNA将近6%。其中有900到1300个基因，依预测方式而有所不同