首页 >
可判定性
✍ dations ◷ 2025-08-23 15:10:14 #可判定性
一个语言
L
{displaystyle L}
，是一个集合，且其补集为
L
¯
{displaystyle {overline {L}}}
。
当
L
{displaystyle L}
是图灵机可识别时，语言
L
{displaystyle L}
则称为半可判定。
当语言
L
{displaystyle L}
不是图灵机可识别，则为不可判定语言。
当且仅当
L
{displaystyle L}
和
L
¯
{displaystyle {bar {L}}}
都是图灵机可识别的时候，L才能称为可判定语言。指一个询问真 / 假的问题是否可被回答。若不论一个问题答案为真或为假时均能得出该答案，则称这个问题、或解决该问题时所用的算法为可判定的；若只能在答案为真时得出、但在答案为假时不能做出判断，那么称为半可判定的；若根本不能得出为真或为假的结论，那么称为不可判定的。
相关
- 机械感受器力学感受器（mechanoreceptor），或称为机械感受器、机械型刺激感受器，是一种感受压力、变形等力学性刺激的感受器。在人类光滑皮肤中主要包含如下四种类型：帕西尼氏小体、触觉小体
- 太阳光太阳光，广义的定义是来自太阳所有频谱的电磁辐射。在地球，阳光显而易见是当太阳在地平线之上，经过地球大气层过滤照射到地球表面的太阳辐射，则称为日光。当太阳辐射没有被云遮蔽
- 生物分类总表这个列表以NCBI Taxonomy上的分类为基础。包含嗜盐菌、一些超嗜热菌、嗜酸菌等。包含放线菌、衣原体、支原体、立克次体等。包含绿藻、轮藻、苔藓植物、蕨类植物、种子植物
- U00-U99ICD-10 第二十二章：特殊目的代码，即国际疾病与相关健康问题统计分类第十版最后一个代码分类。是WHO特别设立、为一些因临时突发性疾病及事件余留的代码区域，以便于对突发事件进
- 加速度加速度是物理学中的一个物理量，是一个矢量，主要应用于经典物理当中，一般用字母 a {\displaystyle \mathbf {a} }
- 痒痒，中医叫风瘙痒，是一种使动物有对发生部位产生抓挠欲的不快感觉，与疼痛有许多相似之处。其发生多源自周围神经系统（皮痒性和神经性）和中枢神经系统（神经性、神经源性和心理性）。皮
- 柳氮磺胺吡啶柳氮磺胺吡啶（Sulfasalazine），缩写为SSZ，是一种磺胺类药物，可用于治疗类风湿性关节炎、溃疡性结肠炎，以及克罗恩病。柳氮磺胺吡啶最早于1950年在美国获批上市，目前仍然是治疗类风湿
- Dracunculus medinensisGordius medinensis Linnaeus, 1758麦地那龙线虫（学名：Dracunculus medinensis），又称几内亚龙线虫，是一种可寄生于人体内的寄生虫，属于线虫的龙线虫属（英语：Dracunculus_(nematode)），
- 爱利克·埃里克森爱利克·霍姆伯格·埃里克森（德语：Erik Homburger Erikson，1902年6月15日－1994年5月12日），又译为艾力克·汉博格·艾力逊，是一位德裔美籍发展心理学家与心理分析学者，以其心理社会发
- 自然演绎在数理逻辑中，自然演绎是证明论中尝试提供象“自然”发生一样的逻辑推理形式模型的一种方式。这种方式对比于使用公理的公理系统。自然演绎来源自对共通于弗雷格、罗素和希尔
