上下文无关语法（context-free grammar），文学-语言文字-计算语言学及语料库语言学-计算语言学，重写规则的形式是的形式语法。又称短语结构语法。在重写规则中，是单独的非终极符号，是异于的符号串。值得注意的是，“上下文无关”这个名称指的是语法中重写规则的左部是一个孤零零的非终极符号，这个非终极符号在重写规则中与上下文没有关系，而不是指这种文法所生成的语言与上下文没有关系。如下定义的语法是上下文无关语法：： 从开始，用第一个重写规则（）次，然后再用第二个重写规则一次，得到：。这样的语法可以生成语言（见有限状态语法）。如下定义的语法也是上下文无关语法：： 这样的语法可生成语言。例如，如果要用上下文无关语法生成不能由有限状态语法生成的语言中的符号串时，其推导过程如下：由此可见，上下文无关语法的生成能力比有限状态语法强。采用上下文无关语法的推导树，可以区别某些有二义性的句子。