正规的非上下文无关语言 {{a^{n}b^{n}c^{n}:可由以下上下文有关文法生成:
S → aSBC
S → aBC
CB → HB
HB → HC
HC → BC
aB → ab
bB → bb
bC → bc
cC → cc
规则1和2允许将 S 拆分为 an(BC)n;规则3到5允许随后将每个 CB 对换位置为 BC(需要用3个规则,因为1个 CB → BC 规则,不能适合 αAβ → αγβ 模式,即产生式左手端只有1个非终结符能被替换);规则6到9允许将在适当位置上的非终结符 B 或 C 分别替代为其对应的终结符 b 或 c。