鄂登引理

✍ dations ◷ 2025-06-30 00:56:15 #鄂登引理

在形式语言理论中，Ogden引理提供了在上下文无关语言的泵引理上灵活性的扩展。

Ogden 引理声称如果语言是上下文无关的，则存在某个数 > 0 (这里的可以是也可以不是抽吸长度)，使得对于中任何长度至少字符串，和“标记” 或更多个中的位置的所有方式，可以被写为

带有字符串 , , , 和，使得有至少一个标记了的位置，有最多个标记了的位置，而

Ogden 引理可以在上下文无关语言的泵引理不充分的情况下，被用来证明特定语言不是上下文无关的。一个例子是语言 ${displaystyle {a^{i}b^{j}c^{k}d^{l}:i=0 {text{或}} j=k=l}}$ ${displaystyle {a^{i}b^{j}c^{k}d^{l}:i=0 {text{或}} j=k=l}}$ 。

观察到在所有位置都被标记了的时候，这个引理等价于上下文无关语言的泵引理。

相关

细胞信号细胞信息传递（英语：cell signaling）是一个主管细胞基本活动并协调细胞行为的复杂沟通系统。细胞对周遭微环境进行感知与正确回应的能力是其发展、修复组织、免疫以及体内正常动
印度斯坦族印度斯坦人（英语：Hindustani people）又译“兴都斯坦人”，世界人口排名第二的民族（仅次于汉族），是对印度北部和整个南亚以北地区的主要民族的一种通称。他们是印度十大民族中人口最
伦敦市伦敦（英语：London）是位于加拿大安大略省西南部的一座城市，座落魁北克市-温莎走廊之上，大概位于多伦多与温莎之间的半途位置。伦敦市在行政事务上是独立于其周边的米德尔塞克斯县，
奥拉西奥·卡尔特奥拉西奥·曼努埃尔·卡特斯·哈拉（西班牙语：Horacio Manuel Cartes Jara，1956年7月5日－）为巴拉圭政治家、拥有数家公司的企业家和体育活动领导人，前任巴拉圭总统。卡特斯的父亲为
格蕾丝·凯莉格蕾丝·帕翠西亚·凯莉（英语：Grace Patricia Kelly；1929年11月12日－1982年9月14日），摩纳哥王妃，生于美国费城，美国电影女演员、慈善家，奥斯卡影后，摩纳哥亲王兰尼埃三世的妻子。格蕾
新民镇 (成都市)新民镇，是中华人民共和国四川省成都市新都区下辖的一个乡镇级行政单位。2019年12月，撤销新民镇，将其所属行政区域划归军屯镇管辖。新民镇下辖以下地区：新民场社区、禾登社区、大
1932年3月7日日食1932年3月7日日食是一次日环食，发生于协调世界时1932年3月7日。新月当天（即朔日），地球上观测到月球和太阳的角距离极小，此时月球如果恰好在月球交点附近，穿过太阳和地球之间，与地球
贝林达山坐标：58°26′S 26°20′W / 58.433°S 26.333°W / -58.433; -26.333贝林达山（英语：Mount Belinda），是南极洲的火山，位于南桑威奇群岛的蒙塔古岛，海拔高度1,370米，最近一次火山喷发
石龙东莞战斗石龙东莞战斗发生于1925年2月4日，地点则是在中国广东。是北洋政府时期内战战斗之一，也是国军东征战役之一，交战两方为粤二师王若周旅及袁嘏九军队。
克里斯蒂安·霍納克里斯蒂安·爱德华·约翰斯顿·霍纳，OBE（英语：Christian Edward Johnston Horner，1973年11月16日－）出生于英国皇家利明顿温泉，于2005年起担任一级方程式红牛车队主席。在1999年担任出赛国际汽车联合会F3000赛车及GP2的雅顿车队（英语：Arden International）主席之前，霍纳曾是一位赛车手。霍纳的赛车生涯起步于1990年的英国卡丁车锦标赛，而在1991年便获得雷诺方程式奖学金，马诺尔车队（Manor Motorsport）赞助他参赛1992年英