什么是上下文无关文法 (CFG)？ - 理解形式语言的语法

上下文无关文法 (Context-free grammar，CFG) 是一种用于描述形式语言的形式文法，其中每个规则都是形如‘非终结符 → 符号串’的形式。其中，非终结符表示一类语法结构，而符号串则表示该类语法结构的一种具体组合方式。上下文无关文法可用于描述自然语言、编程语言等形式语言的语法结构。在计算机科学中，上下文无关文法是一种重要的工具，常用于编译器设计、自然语言处理、计算理论等领域。