鄂登引理

✍ dations ◷ 2025-02-28 03:30:10 #鄂登引理

在形式语言理论中，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}}$ 。

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

相关

系统脱敏法系统脱敏法（英语：systematic desensitization），又称为渐进式暴露疗法（graduated exposure therapy），是一种认知行为疗法，由南非心理医生约瑟夫·沃尔普提出。系统脱敏法在临床心理学
塔吉克斯坦索莫尼索莫尼（塔吉克语：cомонӣ，ISO 4217代码：TJS）是塔吉克斯坦的流通货币。由塔吉克斯坦国家银行发行。辅币单位为迪拉姆，1索莫尼=100迪拉姆。硬币面额有1、2、5、10、20、25、50迪
庄重文文学奖庄重文文学奖，是由原庄士机构国际有限公司主席、中华文学基金会顾问庄重文于1987年倡议出资，由中华文学基金会主办的一项青年文学奖。其宗旨为“弘扬中华民族文化，推动和繁荣当
染青东礁坐标：9°54′N 114°36′E / 9.900°N 114.600°E / 9.900; 114.600染青东礁位于南沙群岛九章群礁东部，牛轭礁西南部，因位于染青沙洲以东，故名。为一座暗礁。1983年公布名称为染
艾萨克·赫尔佐格艾萨克·赫尔佐格（希伯来语：.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram Tsova"
伊兰·诺尔伊兰·诺尔（英语：Y'lan Noel，1988年5月21日－）是一名美国男演员。他因在HBO电视剧《闺蜜向前冲》（2016年至今）中的演出而闻名。他在2018年恐怖电影《人类清除计划4》中首次担任主角
皆藤爱子皆藤爱子（1984年1月25日－）是日本女性自由播报员（日语：フリーアナウンサー）兼艺人，千叶县四街道市出身，所属经纪公司为cent. Force。在栃木县真冈市出生，在千叶县四街道市长大。先后就
叶安婷叶安婷（Ann Yeh，1982年7月4日－），台湾女演员、模特儿，出生于台湾台北市。以演出《美丽俏佳人》闻名。
郝平 (演员)郝平（1970年2月19日－），陕西西安人，中国大陆男演员，上海话剧艺术中心演员。现为中国戏剧家协会会员、上海戏剧家协会会员、上海电视艺术家协会会员。1989年考取上海戏剧学院表演，1993年毕业。1994年至1995年为福建省人民艺术剧院演员。
玉黍螺目见内文玉黍螺类（学名：Littorinimorpha），原属中腹足目，2005年的分类改属新进腹足类高腹足类支序，到2017年的分类再改为直属新进腹足类，而且层级也改为目级分类单元。本支序主要包括了海螺及少量淡水螺与蜗牛，当中部分物种体型在其他螺类来讲算是巨无霸级的，而且物种多样性也很丰富。根据1997年的《旁得和林德伯格的腹足类分类》，玉黍螺次目是吸螺目高腹足亚目的成员，包括下列17个总科：根据2005年的《布歇特和洛克罗伊的腹足类分类》，玉黍螺类包括下列各个总科与科，当中有些科以其外壳而得名：当中，猎