基本的な文脈自由言語L={anbn:n≥1}{\displaystyleL=\{a^{n}b^{n}:n\geq1\}}は、偶数個の文字から成る文字列で構成され、各文字列の前半はaで、後半はbで構成される。
一个原型上下文无关语言是L={anbn:n≥1}{\displaystyleL=\{a^{n}b^{n}:n\geq1\}}，它是所有非空、偶数长度字符串的语言，字符串的整个前半部分都是a{\displaystylea}，整个后半部分都是b{\displaystyleb}。