首页 >
可判定性
✍ dations ◷ 2025-11-13 22:11:41 #可判定性
一个语言
L
{displaystyle L}
，是一个集合，且其补集为
L
¯
{displaystyle {overline {L}}}
。
当
L
{displaystyle L}
是图灵机可识别时，语言
L
{displaystyle L}
则称为半可判定。
当语言
L
{displaystyle L}
不是图灵机可识别，则为不可判定语言。
当且仅当
L
{displaystyle L}
和
L
¯
{displaystyle {bar {L}}}
都是图灵机可识别的时候，L才能称为可判定语言。指一个询问真 / 假的问题是否可被回答。若不论一个问题答案为真或为假时均能得出该答案，则称这个问题、或解决该问题时所用的算法为可判定的；若只能在答案为真时得出、但在答案为假时不能做出判断，那么称为半可判定的；若根本不能得出为真或为假的结论，那么称为不可判定的。
相关
- 皮质醇皮质醇（法语：cortisol），又译成可的松（音译），属于肾上腺分泌的肾上腺皮质激素之中的糖皮质激素，在应付压力中扮演重要角色，故又被称为“压力荷尔蒙”。皮质醇会提高血压、血糖水平和产
- 角膜角膜，是眼球最前方的透明多层组织，其作用为:角膜位于虹膜、瞳孔及前房前方，并为眼睛提供2/3的屈光力(角膜的屈光力是眼球中最强)，进入眼球的光在经过角膜后，通过晶状体的折射，光线
- 北半球北半球（英语：Northern Hemisphere），是指地球赤道以北的半球。地球上大部分的陆地（亚洲大部分、欧洲全部、非洲北半部、北美洲全部、南美洲极北部）及人口都在北半球。在北半球，冬季
- 阿维农阿维尼翁（法语：Avignon，法语发音：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium",
- 分裂原丝裂原（英语：Mitogen，又称促分裂原、促细胞分裂剂）是促进细胞开始分裂，触发有丝分裂的化学物质，通常是蛋白质形式。
- 张纲张纲可以是下列人物：
- 退行性疾病退行性疾病（degenerative disease）是一种受害组织或器官的功能或结构逐步恶化的疾病，可以是由人体老化，可以因生活方式的选择，如运动或饮食习惯。退化性疾病往往与传染病形成鲜明
- 胶原纤维胶原蛋白（collagen） 占哺乳类动物总蛋白质约20% ，也是人体的一种非常重要的蛋白质，主要存在于结缔组织中。它有很强的伸张能力，是韧带的主要成分，胶原蛋白也是细胞外基质的主要组
- 书面语书面语是一种透过文字系统来表达的语言，以书写及阅读来传达意义。书面语是一种人为发明下的产物，基于某个特定的口语之后发展出来，因此没有任何一种自然语言是只有书面语而没有
- 化粪池化粪池，是为一些没有连接公共排污系统的楼宇而设的小型污水处理系统，包括一个或多个水池及化粪系统。污水在进入水池时，细菌会对污物进行无氧分解，并会使固体废物体积减少，再经过
