ω幂上下文无关语言及其封闭性质*

本文定义了ω幂上下文无关语言ω—p—cfl和一类ω下推自动机ω—pda，给出了它们的关系.借助于ω时序转换器ω—st，讨论了ω—p—cfl类的某些封闭性质，证明了对于ω—p—cfl类l，m(l)={s’(a)|a∈s'是一个ω—st)=(h2(h1-1(a)∩r)|a∈l,r是一个ω正规语言，h1