什么是上下文法

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