可判定性

✍ dations ◷ 2025-04-24 23:15:54 #可判定性

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

相关

理学检查体格检查（physical examination、medical examination、clinical examination、check-up），简称体检，也称做身体检查、理学检查或健康检查，是医生运用自己的感官、检查器具、实验
先天免疫系统先天免疫系统（英语：Innate immunity）又称为非特异性免疫、固有免疫、非专一性防御，包括一系列的细胞及相关机制，可以以非特异性的方式抵御外来感染。先天免疫系统的细胞会非特异
陆奥宗光陆奥宗光（1844年8月20日－1897年8月24日）是日本明治时代的政治家和外交官。有剃刀大臣（カミソリ大臣）的外号，正二位・勲一等・伯爵。家纹是仙台牡丹。陆奥生于纪州和歌山藩，原名“阳
双糖双糖（英语：Disaccharide，亦称为二糖）是由两个单糖分子经缩合反应除去一个水分子而成的一种碳水化合物。双糖和单糖一样可溶于水。常见的双糖为蔗糖、乳糖、麦芽糖。蔗糖是由葡萄
肝豆状核变性肝豆状核变性（英语：hepatolenticular degeneration），亦称威尔森氏症（英语：Wilson's Disease），是一种遗传性疾病，患者的体内会积聚铜。典型的症状都跟脑部和肝脏有关，肝脏相关症状有呕
经济学分支JEL分类系统，是美国经济学会《经济文献杂志》（Journal of Economic Literature）所创立的对经济学文献的主题分类系统，并被现代西方经济学界广泛采用。该分类方法主要采用开头的
LSD麦角酸二乙酰胺（Lysergic acid diethylamide，德文 Lyserg-Säure-Diäthylamid），常简称为LSD，是一种强烈的半人工致幻剂。它由麦角酸中合成，对氧气、紫外线与氯十分敏感（尤其是当LS
排气再循环又称废气再循环（Exhaust Gas Recirculation）乃汽车用小型内燃机在燃烧后将排出气体的一部分导入吸气侧使其再度吸气的技术（手法或方法），取其每个英语单字的字首“EGR”为通称，主要
头臂动脉干头臂动脉干（英语：Brachiocephalic trunk），又称无名动脉（英语：innominate artery）为主动脉弓的第一条分支，主要供应头部右侧、右颈，及右臂的血流。头臂动脉干位于纵膈腔内，在其自主动脉
黑猩猩属黑猩猩属(Pan) 是灵长目人科人亚科人族之下的一个生物分类，包括两个物种：黑猩猩属生物与人属生物之间只有 1% 至 2% 的基因差异，部分生物学家因此主张把两个属的生物归入同一属