确定上下文无关文法

✍ dations ◷ 2025-06-20 16:27:01 #确定上下文无关文法

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

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

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

相关

量子物理学量子力学（英语：quantum mechanics）是物理学的分支学科。它主要描写微观的事物，与相对论一起被认为是现代物理学的两大基本支柱，许多物理学理论和科学，如原子物理学、固体物理学、
Chlorophyceae见内文绿藻纲（学名：Chlorophyceae）在生物分类学上是绿藻门中的一个纲。截至2018年3月22日 (2018-03-22)，绿藻纲包括下列各个目：以下为过往属绿藻纲的分类单元：
永井裕子永井裕子（ながいゆうこ，1981年3月3日－），本名同，是日本的演歌歌手，出生于佐贺县佐贺市。所属唱片公司是帝王唱片。再者，初次亮相时（初次亮相之曲）的广告标语是“青春pure”。14岁时的1
丹·福特曼丹·福特曼（Daniel Paul "Dan" Futterman，1967年6月8日－）是美国的一位演员和编剧。他是电影柯波帝：冷血告白的编剧并凭借此片获得奥斯卡提名。
JuiceroJuicero是一家2013年建立的美国公司，该公司出售一种特殊的榨汁机，但是必须使用公司提供的原材料包，后来有人实验证明可以手工从原材料包中提取果汁。该公司于2017年12月1日停止
自行自行是恒星相对于太阳系的质量中心，随着时间变化的推移所显示出在位置在角度上的改变，它的测量是以角秒/年为单位（3600角秒等同于角度的1度）。反之，径向速度是在视线方向上天体接
光子带光子带（光子环，Photon Belt）来自于新纪元运动的信仰内容。其主张地球将在2012年12月22日完全进入光子带，并认为这一交互作用将导致长达2至3日的极昼或极夜，其间电气设备将大范围
台湾汤浅电池台湾汤浅电池股份有限公司是由台湾电池制造商亚洲电池股份有限公司与日本电池制造商汤浅电池株式会社技术合作，于1966年共同出资正式成立。主要产品包括汽车、机车、工业用的
伍德沃德公司坐标：40°33′13.45″N 105°3′39.82″W / 40.5537361°N 105.0610611°W / 40.5537361; -105.0610611伍德沃德公司（英语：Woodward, Inc.，NASDAQ：WWD）是目前世界上历史最悠久、规
康斯坦丁·彼得罗维奇·卡扎科夫康斯坦丁·彼得罗维奇·卡扎科夫（俄语：Константин Петрович Казаков；1902年11月18日－1989年8月25日）是苏联军事将领，炮兵元帅（1962年）。1902年生于图拉。早年在图拉兵工厂工作。1920年加入俄共（布），1921年参加红军。1921年至1923年在全俄中央执行委员会联合军事学校学习，毕业后历任排长、炮兵连长和炮兵营长。1936年毕业于伏龙芝军事学院。1938年至1941年，历任苏联驻西班牙和中国的军事顾问。苏德战争初期任日托米尔榴弹炮兵第331团团长。1942年