确定上下文无关文法

✍ dations ◷ 2025-03-01 03:21:27 #确定上下文无关文法

在形式文法理论中，确定上下文无关文法(DCFG)是上下文无关文法的真子集。确定上下文无关文法是确定下推自动机可识别的文法。确定上下文无关语言是确定上下文无关文法所定义的形式语言。

它们在计算机科学领域中特别重要，因为这些文法可以有效的识别，而非确定上下文无关文法需要回溯或其他复杂的技术；非确定步骤的每次出现，栈都必须被复制并接着被传播(propagate)，消耗运行时间、内存或两者。在实践中，当你希望为非确定文法(比如用 YACC)建立一个解析器的时候，你必须通过增加约束如优先级来改变分析器为确定的。

确定上下文无关语言是拥有无歧义上下文无关文法的语言的集合的真子集。例如，无歧义文法 S → 0S0 | 1S1 | ε，它定义了在字母 0 和 1 上的偶数长度的回文的语言，它能用确定下推自动机解析。

相关

盎格鲁萨克逊人盎格鲁-撒克逊（英语：Anglo-Saxon）是个统称，通常用来形容5世纪初到1066年诺曼征服之间，生活于大不列颠东部和南部地区，语言和种族相近的民族。他们使用非常近似的日耳曼方言，历史
铸铁肥粒铁（α-Fe）针状肥粒铁（acicular α-Fe）奥氏体（γ-Fe）马氏体波来铁（88%肥粒铁，12%碳化三铁）变韧铁粒滴斑铁（波来铁及渗碳体的共晶　　　　混合物，含碳量4.3%）碳化三铁（Fe3C） β铁
Pocket PCPocket PC（简称PPC）是基于微软的Windows Mobile操作系统的一种掌上电脑。相对于PDA，PPC是一种狭隘得多的概念，专指使用微软Windows Mobile系列操作系统的PDA。最早的Windows Mob
汉斯-格奥尔格·伽达默尔汉斯-格奥尔格·伽达默尔（德语：Hans-Georg Gadamer，1900年2月11日－2002年3月13日），著名德国哲学家，诠释学大师，二十世纪最具影响力的哲学家之一。其1960年出版著作《真理与方法》使
FN 303非致命性弹药发射器FN 303非致命性弹药发射器（FN 303）是一款由比利时枪械制造商埃斯塔勒国营工厂（荷兰语：Fabrique Nationale de Herstal，简称：FN）所设计和生产的半自动（英语：Semi-automatic firearm）非
陈铭陈铭，字处之，丽水人，明朝政治人物。曾任大都督府照磨。洪武九年，担任吏部侍郎。洪武十年，担任明朝兵部尚书。后因事，降为兵部郎中。洪武十一年四月，升任吏部尚书。同年六月，改任都督
丽贝卡·阿德林顿丽贝卡·阿德林顿（英语：Rebecca Adlington，1989年2月17日－），OBE，英国英格兰自由泳运动员，奥林匹克运动会双金牌得主。她就读于家乡曼斯菲尔德的The Brunts School。阿德林顿在“舍伍
881 (电影)《881》是一部描述新加坡福建歌台文化的电影，也是新加坡导演陈子谦的第三部剧情长片，由新传媒艺人戚玉武，以及王欣、杨雁雁，和歌台艺人刘玲玲领衔主演。导演陈子谦指出：“881讲的
奇恩·杨奇恩·杨（英语：Keone Young，1947年9月6日－），美国演员，中日混血儿，父亲是中国人，母亲是日本人。他曾出演过很多美国电影，但他有时也做为配音员。在《花木兰2》中，因为森田则之的去世，他代替森田则之作为中国皇帝的配音员。在电视剧《枯木城》中，他为名叫吴先生（Mr. Wu）的华人角色配音。
柴门霍夫日柴门霍夫日（世界语：Zamenhofa Tago，又称为柴门霍夫节、柴诞节）为每年的12月15日，这一天是世界语（Esperanto）创造者柴门霍夫（L. L. Zamenhof,1859年-1917年）的生日。是世界语文化中最广泛的庆祝节日。这一天全世界的世界语者举行各种形式的特殊聚会来庆祝这一节日。