是为了增强表达能力，或者是为了使分析或解析更加容易。一些形式的文法包括:
递归文法.递归文法是包含递归产生式规则的语法。例如，如果存在一个非终结符 "A"，可以通过产生式规则生成一个以 "A" 为最左边符号的字符串，那么上下文无关语言的文法就是左递归的。
分析型文法.尽管有大量关于语法分析算法的文献，但这些算法大多假设要被分析的语言最初是通过生成式文法来描述的，并且目标是将生成式文法转换成一个有效的语法分析器。严格地说，生成文法不以任何方式对应用于解析语