%0 Journal Article
%T ω幂上下文无关语言及其封闭性质*
%A 郭清泉？
%J 软件学报
%P 157-161
%D 1995
%X 本文定义了ω幂上下文无关语言ω—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
%K ω幂上下文无关语言
%K ω下推自动机
%K ω时序转换器
%K 封闭性．
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=1995s122&flag=1