乔姆斯基谱系

✍ dations ◷ 2025-10-22 13:51:16 #编译原理,形式语言,诺姆·乔姆斯基

乔姆斯基体系是计算机科学中刻画形式文法表达能力的一个分类谱系，是由诺姆·乔姆斯基于1956年提出的。它包括四个层次：

正则语言类包含于上下文无关语言类，上下文无关语言类包含于上下文相关语言类，上下文相关语言类包含于递归可枚举语言类。这里的包含都是集合的真包含关系，也就是说：存在递归可枚举语言不属于上下文相关语言类，存在上下文相关语言不属于上下文无关语言类，存在上下文无关语言不属于正则语言类。

下表总结了上述四种类型的文法的主要特点：

相关

罗伯特·麦克阿瑟罗伯特·麦克阿瑟（Robert MacArthur，1930年4月7日－1972年11月1日）是一位美国生态学家，主要研究种群生态学和群落生态学（英语：Community (ecology)）。麦克阿瑟在马尔伯勒学院（英语：Marl
中洋脊洋中脊（Mid-ocean ridge），又称洋脊、大洋中脊、中央海岭，是位于全球海中张裂性板块边界的一系列火山结构系统，也是世界上最长的山脉、海底山脉，长达80,000千米（49,700英里），其中连续
康沃尔语康沃尔语（Kernowek）是属于凯尔特语族中，包括威尔士语、布列塔尼语、已灭亡的坎伯兰语、及假定曾存在的伊佛尼克语的布立吞亚支。而苏格兰盖尔语、爱尔兰语、及曼岛语则是属于另
航天科学name = 'Aero', description = '航空太空科技（航空航天科技）', content = {{ type = 'text', text = [=[本页面没有类似于NoteTA的数量限制。请自行修改分类名。在NoteTA样板
J06A·B·C·D·G·H·QI·J·L·M·N·P·R·S·VATC代码J06（免疫血清和免疫球蛋白）是解剖学治疗学及化学分类系统的一个药物分组，这是由世界卫生组织药物统计方法整合中心（The WH
加拿大中部加拿大中部（Central Canada）是加拿大的一个地理概念，包括安大略和魁北克两省，介于加拿大西部和大西洋省中间。其人口约占加拿大一半左右，为该国的政治文化中心，也属于广义上的加拿
睑结膜结膜（conjunctiva）为眼部的一部分，位于眼睑内，并被覆于巩膜（眼白）表层。结膜在组织学上属于复层柱状上皮，并含有杯状细胞。结膜可分泌黏液和泪液来润滑眼球，然而其分泌的泪液量比泪
德川秀忠松平康元松平康俊松平定胜松平家元内藤信成樵臆惠最德川秀忠（1579年5月2日－1632年3月14日），日本江户幕府的第二代将军（1605年－1632年），1616年至1632年实际掌权。是初代将军德川家康
古斯塔夫·胡萨克古斯塔夫·胡萨克（斯洛伐克语：Gustáv Husák；1913年1月10日－1991年11月18日），生于今日的斯洛伐克的布拉迪斯拉发，是前捷克斯洛伐克的政治家、捷克斯洛伐克共产党前总书记。1913年
核动力潜艇核动力潜艇，简称核子潜艇、核潜艇，是以核反应堆为动力来源的潜艇。由于这种潜艇的生产与操作成本，加上相关设备的体积与重量，采用这种动力来源的潜艇几乎都是军事用途，仅有少数核