一个万能的ω上下文无关文法

∑~∞是字母表∑上的一切ω字的集合。令c、(?)、d、(?)是不在∑中的符号。令∑_1={c,(?),d,(?)},记△=Σ∪Σ_1。令∽是△~*上如下定义的二元关系