计算理论-上下文无关文法

上下文无关文法（CFG）是一种形式文法，其中每条产生式的左侧只有单个非终结符，右侧可以是终结符和非终结符的任意组合。它广泛应用于计算机科学中的编程语言解析和编译器设计。

定义

派生树

派生树是一种树结构，它表示一个句子的语法结构。派生树的根节点表示句子的开始符号，派生树的叶子节点表示句子的终结符号。派生树的中间节点表示非终结符号，它们的子节点表示它们的产生式左侧的符号。