乔姆斯基谱系

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

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

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

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

相关

礼物经济礼物经济（英语：gift economy；礼物文化或礼物交换）是自古以来的自由价值经济学模式。交换过程中，给与者没有任何得到价值回报的要求和预期。与之相反，以物易物或者市场经济是用社会
苏维汇人苏维汇人（拉丁语：Suebi或Suevi，其族名可能来自于原始日耳曼语*swēbaz）古代日耳曼人的一支，在导致西罗马帝国灭亡的蛮族入侵中发挥了一定作用。苏维汇人最早出现于史册中是在尤利
本体感觉本体感觉，又称肌肉运动知觉，是一种对肌肉各个部分的动作或者一连串动作所产生的感觉，称呼为“自我知觉”。可是对某些人来说肌肉运动知觉跟自我知觉不同在于保持平衡的触觉。例
安德烈亚·帕拉弟奥安德烈亚·帕拉弟奥（意大利语：Andrea Palladio，1508年11月30日－1580年8月19日），文艺复兴时期北意大利最杰出的建筑大师，也历史上第一位完全以建筑和舞台设计为主业、没有兼事雕塑和
外层电子层，或称电子壳或电子壳层，是原子物理学中，一组拥有相同主量子数n的原子轨道。电子层组成为一粒原子的电子序。这可以证明电子层可容纳最多电子的数量为
让-巴蒂斯特·毕奥让-巴蒂斯特·毕奥（法语：Jean-Baptiste Biot，1774年4月21日－1862年2月3日），法国物理学家、天文学家和数学家。在电磁学研究中曾提出知名的毕奥-萨伐尔定律。毕奥毕业于著名的法国
物种存续委员会IUCN物种存续委员会（英语：IUCN Species Survival Commission）又被译为物种生存委员会，是国际自然保护联盟（IUCN）的一个特别委员会。委员会的主要工作是为IUCN提供生物多样性保护、
性期望性欲，指对性的渴望。一般科学家认为，性欲是一种本能欲望，对于繁殖下一代有利。至于对大多数动物而言，性欲只存在于发情期时，而动物的发情期通常都是季节性的（例如春天）。对于某些宗
贵阳话贵阳话（本地发音：kueɪ˨˦ iɑŋ˨˩ xua˨˦），指贵州省贵阳市的汉语方言。由于贵阳话新派变化较大，撮口呼完好，实际上应视为川黔片成渝小片的方言，因此本文介绍的贵阳话只指老贵
艾米丽·沃森艾米丽·沃森（英语：Emily Watson，1967年1月14日－），英格兰女演员。她的首部电影作品是由拉斯·冯·提尔执导的《破浪而出》(1996)而获得欧洲电影奖、纽约影评人协会奖、国家影评人