有产生规则都有如下形式：这里的 "A", "B" 和 "C" 是非终结符，而 α 是终结符。当使用这个定义的时候，"B" 和 "C" 不能是开始符号。这个定义不同于前面定义的是它排除了文法生成空串 ε 的可能性。接受一个语言 "L" 的任何上下文无关文法都可以有效的变换成接受 "L - {ε}" 的 Chomsky 范式的文法。后者定义的首要好处是证明通常更简单，由于在导出过程中每个步骤都永不减少结果字符串的长度。当然它的缺点是在最初文法生成 ε 就需要特殊考虑。