首页 >
可判定性
✍ dations ◷ 2025-07-13 05:26:28 #可判定性
一个语言
L
{displaystyle L}
,是一个集合,且其补集为
L
¯
{displaystyle {overline {L}}}
。
当
L
{displaystyle L}
是图灵机可识别时,语言
L
{displaystyle L}
则称为半可判定。
当语言
L
{displaystyle L}
不是图灵机可识别,则为不可判定语言。
当且仅当
L
{displaystyle L}
和
L
¯
{displaystyle {bar {L}}}
都是图灵机可识别的时候,L才能称为可判定语言。指一个询问真 / 假的问题是否可被回答。若不论一个问题答案为真或为假时均能得出该答案,则称这个问题、或解决该问题时所用的算法为可判定的;若只能在答案为真时得出、但在答案为假时不能做出判断,那么称为半可判定的;若根本不能得出为真或为假的结论,那么称为不可判定的。
相关
- 口腔颌面外科口腔颌面外科(英语:Oral and Maxillofacial Surgery)是一个现代医疗的外科,该外科主要治理头部、颈部、脸部、下颌、口腔和颌面部位,包括软组织和硬组织的损伤和疾病,并通过药物及
- 生物地理学生物地理学是生物学与地理学间的边缘学科。研究生物在时间和空间上分布的一门学科。即生物群落及其组成成分,它们在地球表面的分布情况及形成原因。生物地理学研究范围包括:动
- 头发头发,或称发,是指长在人类头部上的毛发。头发的颜色及其他特征是由基因决定,一般而言常见的有黑色、金黄色、棕色及红色等,当人类老化时,头发通常会变成银白色。不同民族的头发硬
- 种痘天花疫苗用以预防天花。古代民众预防天花的方法。其具体方法是把天花病患者身上的痘痂制浆(脓),以小刀拭在受种者的皮肤之下,使之产生免疫力,以预防天花。另一个方法,就是让受种者
- 内源内源性物质(英语:Endogenous substances)是体内代谢中产生的活性物质及最终产物,比如NH3、胺类、激素、胆色素、神经递质等都可以称为内源性物质。
- 索哈杰省索哈杰省(阿拉伯语:محافظة سوهاج),是埃及二十九省之一,位于上埃及,尼罗河在中间流过。首府索哈杰。面积1,547平方公里,人口3,746,378人(2006年统计)。
- 文艺复兴运动文艺复兴是一场大致发生在14世纪至17世纪欧洲的文化运动,在中世纪晚期发源于意大利中部的佛罗伦萨,即意大利文艺复兴,后扩展至欧洲各国。其辞源为意大利语“Rinascimento”,由ri
- 知识的代价知识的代价(英语:The Cost of Knowledge)是一个由学者发起的运动,抗议学术期刊出版社爱思唯尔(Elsevier)的经营模式。 这个运动发起的主因是该出版社过高的收费,他们呼吁降低购买期
- 脊椎骨脊柱(拉丁语:Columna vertebralis、英语:vertebral column、backbone、spine)是脊椎动物位于背侧的支撑性中轴骨骼。人类的脊柱由23-24块脊椎骨(拉丁语:Vertebrae)和中间起缓冲作用
- 语系语言系属分类(英语:Language family)是指根据语言的演化关系,对语言进行分类的方法,具有相同祖先的语言被归为一类,类似生物分类法。分类依据为各语言语音、词汇、语法之间的对应