确定上下文无关文法

✍ dations ◷ 2025-11-09 18:27:27 #确定上下文无关文法

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

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

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

相关

合囊蕨纲合囊蕨科（Marattiaceae）系为蕨类植物的一科，为合囊蕨目现生成员中唯一的一科，目前共计有6属，约135种，主要分布于热带和亚热带。合囊蕨科的成员拥有大型蕨叶（英语：frond），为2-3回羽状复
2B2B可能指：
苏州基督教新教基督教新教传入苏州最早可溯源于19世纪下半叶。1858年，美南监理会传教士从上海首次访问苏州。1860年，太平天国军攻占苏州以后，美国传教士高帝丕、花兰芷、赫威尔来苏，受到良好的
马丁·达姆马丁·达姆（捷克语：Martin Damm，1972年8月1日－）是一位捷克职业网球运动员。他的生涯单打最高排名为42位（1997年8月18日），生涯双打最高排名为第5（2007年4月30日）。他在双打方面较为亮眼
伊妮德·布莱顿伊妮德·玛丽·布莱顿（Enid Mary Blyton，1897年8月11日－1968年11月28日），笔名是玛丽·波洛克（Mary Pollock），她是英国1940年代的著名儿童文学家，她所著的《刁蛮女（英语：The Naughtiest
勒夸萨乡坐标：46°00′N 26°53′E / 46.000°N 26.883°E / 46.000; 26.883勒夸萨乡（罗马尼亚语：Comuna Răcoasa, Vrancea），是罗马尼亚的乡份，位于该国东部，由弗朗恰县负责管辖，面积90平方
速度加成式物理学中，速度加成式是将不同参考系下个别描述同一移动物体速度的关联方程。伽利略观察到：当一艘船以相对海岸的速度v移动，而在船上量到一只苍蝇以速度u移动，则海岸边的人会测到
陈炳强陈炳强（1990年7月27日－），中国男演员。出生于广东省揭阳市惠来县，现居住在上海。自2009年以来在《皇粮胡同十九号》、《倾世皇妃》等作品中出演。2013年，在《西游·降魔篇》中饰演
多尹·阿比奥拉多尹·阿比奥拉（Doyin Abiola, Doyinsola Hamidat Abiola，1946年2月1日－），尼日利亚新闻家。曾任《国家协和报（英语：Concord Group (Nigeria)）》的总经理和发行人，她是首位担任《每日时报（英语：Daily Times (Nigeria)）》总编的尼日利亚女性。多尹·阿比奥拉在尼日利亚伊巴丹大学接受教育，并于1969年获得英语和戏剧学位。毕业后，她于1969年开始在《每日见闻报》（）工作。期间，她开始在报纸上撰写Tiro专栏，讨论公众关心的各种问
文殊师利佛土严净经《文殊师利佛土严净经》，西晋竺法护翻译的佛教经典，与《大宝积经》第十五文殊师利授记会异译，讲述文殊菩萨的功德及其成佛后之净土庄严。经中云：“菩萨自往昔那由他阿僧祇劫以来，发十八种大愿，严净佛国，当来成佛，称为普现如来，其佛土在南方，号离尘垢心世界、无垢世界、清净无垢宝置世界。”