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

下载PDF

导出

摘要本文定义了ω幂上下文无关语言ω－ｐ－ｃｆｌ和一类ω下推自动机ω－ｐｄａ，给出了它们的关系，借助于ω时序转换器ω－ＳＴ，讨论了ω－ｐ－ｃｆｌ类的某些封闭性质，证明了对于ω－ｐ－ｃｆｌ类ζ，ξ（δ）＝｛Ｓ（Ａ）｜Ａ∈ζ，Ｓ是一个ω－ＳＴ｝＝｛ｈ２（ｈ＾－１１（Ａ）∩Ｒ）｜Ａ∈ξ，Ｒ是一个ω正规语言，ｈ１是一个同态，以及ｈ２是一个λ无关同态｝。

作者郭清泉

出处《软件学报》 EI CSCD 北大核心 1995年第A01期157-161,共5页 Journal of Software

关键词 ω幂语言封闭性形式语言 ω语言

分类号 TP301.2 [自动化与计算机技术—计算机系统结构]

引文网络
相关文献

1刘田.关于函数的验证复杂性、求值复杂性和输出值个数(英文)[J].北京大学学报（自然科学版）,2000,36(1):109-116.
2堵还是疏 “网话”转正之路[J].计算机应用文摘,2011(9):68-69.
3李艳辉,刘浩,袁野,王国仁.基于差分隐私的频繁序列模式挖掘算法[J].计算机应用,2017,37(2):316-321. 被引量：8
4彭家寅.Fuzzy上下文无关语言的运算封闭性[J].四川师范大学学报（自然科学版）,1999,22(4):391-395. 被引量：2
5孙萍,游泰杰.半群语言与正规语言[J].贵州师范大学学报（自然科学版）,2006,24(3):78-81.
6陈军,王元元.Petri网语言与传统形式语言的关系[J].计算机科学,1996,23(6):22-25.
7胡庆平,李丹,胡志刚.有关正规语言的几个结果[J].西北大学学报（自然科学版）,1999,29(3):197-198.
8彭家寅.基于Unsharp量子逻辑的自动机和文法理论[J].计算机工程与应用,2012,48(28):57-60. 被引量：6
9范昊,吴哲辉.正规表达式与恰当终结的标准Petri网[J].计算机工程,2007,33(17):13-16. 被引量：4
10郭清泉,王常青.ω上下文无关语言和语言的附着之间的关系[J].软件学报,1999,10(4):406-408.

软件学报

1995年第A01期

浏览历史

内容加载中请稍等...

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

相关作者

相关机构

相关主题

浏览历史