G formula_30 使得 formula_31。
例子.
例子 1.一个简单的上下文无关文法的例子是：S -> aSb | ab 。这个文法产生了语言 {ab : n ≥ 1} 。不难证明这个语言不是正则的。
例子 2.这个例子可以产生变量 x,y,z 的算术表达式：例如字串 "( x + y ) * x - z * y / ( x + x )" 就可以用这个文法来产生。
例子 3.字母表 {a,b}