可判定性

✍ dations ◷ 2025-01-22 23:45:44 #可判定性

一个语言 L {displaystyle L} ，是一个集合，且其补集为 L ¯ {displaystyle {overline {L}}} 。当 L {displaystyle L} 是图灵机可识别时，语言 L {displaystyle L} 则称为半可判定。当语言 L {displaystyle L} 不是图灵机可识别，则为不可判定语言。当且仅当 L {displaystyle L} 和 L ¯ {displaystyle {bar {L}}} 都是图灵机可识别的时候，L才能称为可判定语言。指一个询问真 / 假的问题是否可被回答。若不论一个问题答案为真或为假时均能得出该答案，则称这个问题、或解决该问题时所用的算法为可判定的；若只能在答案为真时得出、但在答案为假时不能做出判断，那么称为半可判定的；若根本不能得出为真或为假的结论，那么称为不可判定的。

相关

水痘水痘（英语：Chickenpox，或称Varicella），是一种因初次感染水痘带状疱疹病毒（英语：Varicella zoster virus）（Varicella zoster virus/VZV）而引起的疾病，具高度传染性。本病会产生皮疹，而这
军团病军团病，又名退伍军人症是由军团菌引发的非典型肺炎。其症状包括咳嗽、呼吸困难、发热、肌肉疼痛、头痛。有时亦会发生恶心、呕吐、腹泻。军团病的症状通常在暴露后两到十天
呼吸困难呼吸困难（拉丁语：Dyspnea或Dyspnoea）、呼吸急促或空气饥是患者一种自觉症状，病人一般可自己觉察到呼吸困难，但外界不易观察出来。一般而言重体力劳动等带来的呼吸困难是正常症状，
人口金字塔人口金字塔（Population pyramid），是用于表现某时间点上的年龄直方图，能反映一地区人口男女比例与年龄构成。这种表示方式显示了年龄和性别资料，为一种可直接且清晰知晓人口组成的
末次冰期末次冰期（英语：Last glacial period）是距今时间最近的一次冰期，发生于第四纪的更新世晚期，始于约11万年前，终于1.2万年前。末次冰期内，各地冰盖亦曾出现数次的进退。冰退称为间冰段
LNB拉脱维亚国家图书馆成立于1919年8月29日，是拉脱维亚的国家级文化机构。拉脱维亚国家图书馆简称NLL，参加有众多国际性的图书馆组织。拉脱维亚国家图书馆在里加共拥有八处馆区。
米南德米南德（希腊文：Μένανδρος，前342年－前291年），古希腊剧作家，被认为是古希腊新喜剧的代表，其剧本多以爱情故事和家庭生活为主题，塑造出性格丰富的人物形象，提倡人与人之间互相真
脂肪肉瘤脂肪肉瘤（英语：Liposarcoma），是一种由脂肪细胞在深层软组织（如腹膜后或大腿内侧）异常增生导致的癌症。脂肪肉瘤是一种罕见的恶性肿瘤，显微观察显示其与普通脂肪细胞类似。脂肪肉瘤
口口腔，简称口，俗称嘴巴、嘴或咀，是指唇、腭、面颊和口腔底之间的空间，向上它与鼻腔相通。向后口腔与两个颌弓后的咽腔相连。口腔的后面的开口是咽峡，前面的开口是嘴。整个口腔的内
意向意向性（英语：Intentionality）是心灵代表或呈现事物、属性或状态的能力。简单的说，很多心理活动是关于外部世界的，意向性就是这里的“关于”。最初，“意向性”一词来自经院哲学。十