首页 >
可判定性
✍ dations ◷ 2025-06-07 10:46:49 #可判定性
一个语言
L
{displaystyle L}
，是一个集合，且其补集为
L
¯
{displaystyle {overline {L}}}
。
当
L
{displaystyle L}
是图灵机可识别时，语言
L
{displaystyle L}
则称为半可判定。
当语言
L
{displaystyle L}
不是图灵机可识别，则为不可判定语言。
当且仅当
L
{displaystyle L}
和
L
¯
{displaystyle {bar {L}}}
都是图灵机可识别的时候，L才能称为可判定语言。指一个询问真 / 假的问题是否可被回答。若不论一个问题答案为真或为假时均能得出该答案，则称这个问题、或解决该问题时所用的算法为可判定的；若只能在答案为真时得出、但在答案为假时不能做出判断，那么称为半可判定的；若根本不能得出为真或为假的结论，那么称为不可判定的。
相关
- 咳嗽药水止咳药是指治疗咳嗽的药品，通常为片状（亦有含化的）、溶液和混悬液。部分止咳水含有可待因或麻黄碱，过量服用会使人产生欣快感，故被滥用者称为摇头水），泛指用于止咳的所有药水，包括医
- 医疗温度计医疗温度计，又称体温计、探热针，是拿来量测人体温度用的仪器。可用来量测口腔温度、腋下温度或是肛门内的直肠温度。传统的水银式医疗温度计工作方式与气象用最高温度计相同。
- 流感甲型流行性感冒病毒属(Influenzavirus A) 乙型流行性感冒病毒属(Influenzavirus B) 丙型流行性感冒病毒属(Influenzavirus C)流行性感冒病毒，简称流感病毒，是一种造成人类及动
- 红十字国际红十字与红新月运动（法语：Le Mouvement Croix-Rouge et Croissant-Rouge；英语：International Red Cross and Red Crescent Movement；德语：Internationle Rotkreuz- und Rothal
- 柯林武德罗宾·乔治·柯林武德（英语：Robin George Collingwood 1889年2月22日－1943年1月9日）英国哲学家、历史学家、考古学家，以哲学著作以及死后发表的《历史的观念》（1943年）而知名。
- 妥拉《妥拉》（希伯来语：.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram Tsova","Taamey
- 2A类致癌物这些物质、混合物和接触场合被国际癌症研究机构列为2A类致癌物（对人类很可能有致癌性）。这里的大部分物质对人类的致癌的证据有限，但有足够的对其他某些动物致癌的证据。
- C-Mycn/an/an/an/an/an/an/an/an/an/aC-Myc或Myc是编码转录因子的调节基因。这一基因编码的蛋白在细胞核内被磷酸化，有多种功能：在细胞周期进程、细胞凋亡和细胞转化中发挥作用。My
- 镫骨镫骨（stapes /ˈsteɪpiːz/、stirrup）是中耳的一块听小骨，存在于人类和其他哺乳动物。这块骨头形如马镫，贴在卵圆窗上，负责将声波震动由此处传送至内耳。镫骨是人体最小且最轻的
- 意大利语族意大利语族是印欧语系下的一族，属于颚音类语言。由其下的通俗拉丁语衍生出罗曼语族。从原始印欧语到原始意大利语的规则语音变化的部分列表：在个别意大利语的演化中出现了进一
