|
|||||
|
|
| ω幂上下文无关语言及其封闭性质* | |
| 引用本文： | 郭清泉.ω幂上下文无关语言及其封闭性质*[J].软件学报,1995,6(Z1):157-161. |
| 作者姓名： | 郭清泉 |
| 作者单位： | 山东大学计算机科学系，济南250100 |
| 摘 要： | 本文定义了ω幂上下文无关语言ω—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 |
| 关 键 词： | ω幂上下文无关语言，ω下推自动机，ω时序转换器，封闭性． |
| 收稿时间： | 1993/6/22 0:00:00 |
| 修稿时间： | 1994/3/30 0:00:00 |
| 点击此处可从《软件学报》浏览原始摘要信息 | |
| 点击此处可从《软件学报》下载全文 | |