文法是描述语言规则的形式规则。实际上就是用一个四元组G=(VT,VN,S,P)定义的一个推理方式。其中VT是终结符，VN是非终结符，S是开始符号，P是一组产生规则。
编译原理中的文法相当于语言学（人类语言）中的语义分析，即分析一个句所表示的含义。它是产生中间代码或目标代码的依据。
