论文部分内容阅读
本文定义了ω幂上下文无关语言ω-p-cfl和一类ω下推自动机ω-pda,给出了它们的关系,借助于ω时序转换器ω-ST,讨论了ω-p-cfl类的某些封闭性质,证明了对于ω-p-cfl类ζ,ξ(δ)={S(A)|A∈ζ,S是一个ω-ST}={h2(h^-11(A)∩R)|A∈ξ,R是一个ω正规语言,h1是一个同态,以及h2是一个λ无关同态}。