确定上下文无关文法 在形式文法理论中确定上下文无关文法DCFG是上下文无关文法的真子集确定上下文无关文法是确定下推自动机可识别的文法确定上下文无关语言是确定上下文无关文法所定义的形式语言 它们在计算机科学领域中特别重要因为这些文法可以有效的识别而非确定上下文无关文法需要回溯或其他复杂的技术非确定步骤的每次出现栈都必须被复制并接着被传播propagate消耗运行时间内存或两者在实践中当你希望为非确定文法比如用 YACC建立一个解析器的时候你必须通过增加约束如优先级来改变分析器为确定的 确定上下文无关语言是拥有无歧义上下文无关文法的语言的集合的真子集例如无歧义文法 S  S  S  ε它定义了在字母  和  上的偶数长度的回文的语言它能用确定下推自动机解析