まず、2つの文脈自由言語A={ambncn∣m,n≥0}{\displaystyleA=\{a^{m}b^{n}c^{n}\midm,n\geq0\}}とB={anbncm∣m,n≥0}{\displaystyleB=\{a^{n}b^{n}c^{m}\midm,n\geq0\}}を用意する。
选用语言A={ambncn∣m,n≥0}{\displaystyleA=\{a^{m}b^{n}c^{n}\midm,n\geq0\}}和B={anbncm∣m,n≥0}{\displaystyleB=\{a^{n}b^{n}c^{m}\midm,n\geq0\}}，它们都是上下文无关的。