法要求产生式左侧只能包含一个符号，并且该符号为非终结符号。这个限制是非常重要的；不是所有的语言都可以由上下文无关的语法生成。那些可以被称为上下文无关语言。上例定义的语言 formula_43 并不是一个上下文无关语言，并且这个可以用上下文无关语言的泵引理严格证明，但 formula_52（1个及以上 formula_6 后面跟同样数量的 formula_47）是一个上下文无关语言。因为它可以由文法 formula_55（formula_56，formula_57，formula_23 为开始符号）定义，