泵引理

✍ dations ◷ 2024-12-24 02:54:16 #泵引理

在可计算性理论中的形式语言理论中，泵引理（Pumping lemma）声称给定类的任何语言可以被“抽吸”并仍属于这个类。一个语言可以被抽吸，如果在这个语言中任何足够长的字符串可以分解成片段，其中某些可以任意重复来生成语言中更长的字符串。这些引理的证明典型的需要计数论证比如鸽笼原理。

两个最重要例子是正则语言的泵引理和上下文无关语言的泵引理。鄂登引理是另一种更强的上下文无关语言的泵引理。

这些引理可以用来确定特定语言不在给定语言类中。但是它们不能被用来确定一个语言在给定类中，因为满足引理是类成员关系的必要条件，但不是充分条件。

泵引理是1961年由 Y. Bar-Hillel、M. Perles 和 E. Shamir首次发表的。

假设 ${displaystyle Lsubseteq Sigma ^{*}}$ 是上下文无关语言，则存在一常数 > 0 使得语言中每个字串的长度 || ≧ ，而当 = 时：

透过泵引理以反证法证明不是上下文无关语言。

相关

门罗主义门罗主义（英语：Monroe Doctrine）是美国总统詹姆斯·门罗的一种思想观点，是一项关于美洲大陆控制权的美国外交政策。表明美国政府认为欧洲列强不应再殖民美洲，或涉足美国与墨西哥
卡尔·泰勒·康普顿卡尔·泰勒·康普顿（英语：Karl Taylor Compton，1887年9月14日－1954年6月22日），美国物理学家，曾于1930年至1948年任麻省理工学院校长。
景气对策信号景气对策信号是台湾国发会所制订，以类似交通号志方式的灯号代表景气的一种指标，由货币总计数及变动率等9项指标构成，每月依各构成项目之年变动率变化与其检查值做比较后，视其落
德鲁·吉尔平·福斯特凯瑟琳·德鲁·吉尔平·福斯特（英语：Catharine Drew Gilpin Faust，1947年9月18日－），美国历史学家、教育家，哈佛大学前校长（2007年－2018年），之前担任哈佛拉德克里夫高等研究院院长。福斯
佛兰德斯的亨利佛兰德斯的亨利（1176年－1216年6月11日）是君士坦丁堡拉丁帝国的第二任皇帝（1205年-1216年），佛兰德伯爵和埃诺伯爵（英语：Count of Hainaut），亨利参与了第四次十字军东征和1204年君士坦丁
青海湖 (祥云)青海湖位于中国云南省祥云县沙龙镇境内，地处城川坝东南部，西北距县城祥城镇7公里。元代称“青海”，清代称“青龙湖”，因湖水清澈得名。湖面海拔1966米，面积4平方公里。1960年经人
露茜·博尔顿艾丽斯·露茜·博尔顿（英语：Alice Ruth Bolton，1967年5月25日－），美国女子篮球运动员，曾效力于WNBA。曾获得1996年夏季奥运会和2000年夏季奥运会女子篮球项目金牌。2011年入选女子篮球名人堂。
阿姆贾德·阿特万阿姆贾德·阿特万（英语：Amjad Attwan，1997年3月12日－）为伊拉克职业足球运动员，目前效力于伊拉克超级足球联赛纳夫艾华萨特体育俱乐部。2016年3月18日，阿特万在一场伊拉克和叙利亚的友谊赛，成为他国际赛初登场。Template:2016年奥运会男子足球伊拉克参赛名单
向宠向宠（？－240年），襄阳宜城人，三国时蜀汉将领。蜀汉官员向朗的侄儿。向宠是诸葛亮在《出师表》中推荐给后主刘禅的良臣之一。刘备在位时，向宠任牙门将。夷陵之战时，向宠跟随刘备伐吴，后蜀军溃败，唯有向宠那一营是保存最完整的，受到刘备的称赞。建兴元年（223年），在刘禅即位后封都亭侯，被任命为中都督，统率宿卫兵。诸葛亮北行汉中前，在《出师表》中特意提到“将军向宠，性行淑均，晓畅军事，试用之于昔日，先帝称之曰“能”，是以众议举宠为督：愚以为营中之事，事无大小，悉以咨之，必能使行阵和穆，优劣得所也。”因此向刘禅推荐
美国特殊药品美国特殊药品（英语：specialty drugs/pharmaceuticals in the United States），简称特药（相对于普药），是对最近高成本，高度复杂和/或涉及需要医事人员密切注意及照顾（高接触（英语：high touch））的药品所给予的名称。特殊药品通常是生物制药，“从活细胞发展出的药品” - 可透过注射或输注方式施用（也有口服式）。这类药品用于治疗复杂或罕见慢性病，例如癌症、类风湿关节炎、血友病、人类免疫缺乏病毒（HIV）、银屑病（牛皮癣）、炎症性肠病、和丙型肝炎。在美