| 摘要: |
| 本文定义了ω幂上下文无关语言ω—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
|
| 关键词: ω幂上下文无关语言，ω下推自动机，ω时序转换器，封闭性． |
| DOI： |
| 分类号: |
| 基金项目: |
|
| ω—POWER CONTEXT—FREE LANGUAGES AND THEIR CLOSURE PROPERTIES |
|
Guo Qingquan
|
| Abstract: |
| This paper is defined a class of ω—power context—free languages and the corresponding type of ω—pushdown automata．With the aid of ω—sequential transducer，some closure properties of ω—power context—free languages are discussed．The main result is that，for the class of ω—power context—free languages L，m(L)={s’(A)|A ∈L，S’is an ω—sequential transducer)一{h2(h1-1(A)∩R)|A∈L，R is an ω—regular language，h1 is a homomorphism and h2 is a λ—free homomorphism}． |
| Key words: ω—power context--free language．ω—pushdown automaton．ω—sequential transducer,closure property． |
