首页 >
可判定性
✍ dations ◷ 2025-08-02 14:05:01 #可判定性
一个语言
L
{displaystyle L}
,是一个集合,且其补集为
L
¯
{displaystyle {overline {L}}}
。
当
L
{displaystyle L}
是图灵机可识别时,语言
L
{displaystyle L}
则称为半可判定。
当语言
L
{displaystyle L}
不是图灵机可识别,则为不可判定语言。
当且仅当
L
{displaystyle L}
和
L
¯
{displaystyle {bar {L}}}
都是图灵机可识别的时候,L才能称为可判定语言。指一个询问真 / 假的问题是否可被回答。若不论一个问题答案为真或为假时均能得出该答案,则称这个问题、或解决该问题时所用的算法为可判定的;若只能在答案为真时得出、但在答案为假时不能做出判断,那么称为半可判定的;若根本不能得出为真或为假的结论,那么称为不可判定的。
相关
- Ibuprofen布洛芬(英语:Ibuprofen,商品名:芬必得、普罗芬),是一种非类固醇消炎药(NSAID),用来止痛,退烧和消炎。可用于治疗经痛、偏头痛,和类风湿性关节炎。大约60%的人在使用任意一种NSAID后症状
- 维生素维生素(英语:Vitamin)是一系列有机化合物的统称,曾依音译,称作“维他命”。它们是生物体所需要的微量营养成分,而一般又无法由生物体自己生产,需要通过饮食等手段获得。维生素不能
- 头孢卡品头孢卡品(其国际非专利药品名称为“Cefcapene”)是一种第三代头孢菌素。该抗生素常以盐酸头孢卡品酯的形式生产。羧基青霉素:羧苄西林(卡茚西林) · 替卡西林 · 替莫西林
- 库贾氏病克罗伊茨费尔特-雅各布病(英语:Creutzfeldt-Jakob disease,简称CJD),或称克-雅氏症、克-雅氏病、克雅二氏症、克雅二氏病、库雅氏症、库贾氏症、克雅氏症、克雅氏病,是一种发生在
- 小杆目见内文小杆目(学名:Rhabditida)是色矛纲色矛亚纲的一个目。截至2018年3月7日 (2018-03-07),本目包括以下五个分类单元:本目包括下列各个总科:以下为部分在本目之下的属:
- Tb4f9 6s22, 8, 18, 27, 8, 2蒸气压第一:565.8 kJ·mol−1 第二:1110 kJ·mol−1 第三:2114 kJ·mol主条目:铽的同位素铽(Terbium)符号Tb,为镧系元素,原子序65,是银白色的稀土金属,
- 新盘古大陆新盘古大陆(Novopangea,Novo-是来自拉丁语的字首,代表“新”的意思)是一个未来可能出现的超大陆,由现在任职于剑桥大学的罗伊·利弗莫尔(Roy Livermore)于1990年代晚期提出。他的假
- 皮埃尔·阿伯拉尔彼得·阿伯拉尔,又译阿伯拉、亚伯拉德(法语:Pierre Abélard,1079年-1142年4月21日),法国著名神学家和经院哲学家,一般认为他开创概念论之先河。阿伯拉生于法国布列塔尼半岛南特以东
- 乳房切除术在医学中,乳房切除术(英语:Mastectomy)是指手术去除部分或全部,一个或两个乳房的医用术语。做乳房切除术是为了治疗乳癌;在一些情况,被认为是乳腺癌的高危人群的妇女和一些男性,需要
- 红军红军可以指:又称“赤军”(“赤军”一词原本是日本对于苏联红军的汉字译名)“赤军”一词可专指冷战时期以此为名的几个极左派武装恐怖组织,包括德国红军派、意大利红色旅、以及日