文脈自由文法
次は三種類の変数 x, y, z を使った文法的に正しい四則演算の数式を生成する文脈自由文法である。ここで演算子は中置としている。
S → x | y | z | S + S | S - S | S * S | S/S | (S)
この文法に従うと、例えば "( x + y ) * x - z * y / ( x + x )" といった式が生成可能である。
この文法は、構造が異なる構文木から同じ文字列が生成されうるという意味で曖昧である。