关于ω-有穷自动机的接受条件

关于ω－有穷自动要的接受条件的研究,旨在揭示ω自动识别语言的能力以及对语言类作进一步的划分,到目前为止ω－自动机的接受条件已有六种,本文给出了一些新形式的接受条件并且研究了ω－有穷自动机在这些接受条件下接受ω－语言的能力。     

关于自动机与可识别语言的一个注记

讨论了语言 L A*的可识别性 ,证明了以下的结论 :若 X A*是可识别的 ,则 X的左因子集In X、右因子集 Ter X和因子集 Seg X都是可识别的 .     

交替ω—有穷自动机接受ω—语言能力的研究

本文研究了交替ω－有穷自动机关于接受条件Ｚ１和Ｚ２接受ω＝语言的能力,并且与交替ω－有穷自动机关于另外接受条件接受ω－语言的能力进行了比较,从而得出了下面主要结果：ＡＣ１＝ＡＺ１＝Ａ６２Ｚ１＝Ａ＾ＳＺ２＝ＡＺ２。     

ω超线性语言

[1] 中定义了有穷转向的ω-pda 和ω-cfl,给出了它们的若干性质。本文讨论有穷转向的ω-cfl 的生成,定义ω超线性文法和ω超线性语言,证明ω超线性语言和有穷转向的ω-cfl是同一语言类。     

树自动机理论在XML中的应用

XML的发展，引发了人们对于文档和形式语言之间关系的研究，树自动机理论重新引起了研究者们的高度重视。介绍了树自动机的概念、类型及处理方式，讨论了树自动机在XML中的应用，以XML文档有效性检验为例，实现了一个XML文档DTD树自动机，实验结果表明树自动机理论能够有效地处理XML文档。     

Ⅰ-析取ω-语言的几个性质

主要证明了X^ω在中不存在极大和极小Ⅰ-析取ω-语言,提出Ⅰ-析取辖区概念并证明其是稠密语言．     

Lω-空间的ω-有限覆盖性质

研究了Lω-空间的ω-有限覆盖性质问题.利用Lω-空间的ω-远域和ω-覆盖等概念,系统讨论了ω-有限覆盖的特征性质,证明了Lω-空间的ω-有限覆盖性质具有拓扑不变性和闭遗传等性质.     

Fuzzy树自动机的等价性

在给出模糊树自动机概念的基础上,讨论了模糊树自动机与传统字符自动机、模糊有限自动机相类似的性质,即指确定性模糊树自动机与非确定性的模糊树自动机的等价性、FNBTA与FNTTA 等价,及FDBTA和FNBTA等价;这为模糊树自动机的进一步研究奠定了基础.     

Lω-空间的ω-完全正规分离性

在Lω-空间中定义了ω-完全正规分离性,并讨论了它的一些基本性质,如:遗传性、L-好的推广等。     

Lω-空间中ω*-正则性

在Lω-空间中引入一种新的正则,即ω*-正则,证明了ω*-正则不仅蕴涵黄朝霞文献中所提出的ω-正则,而且还具有ω-正则的一些好的性质.     

Lω-空间的ω-半连续性

在Lω-空间空间中定义了ω-半开(闭)集、ω-半连续以及ω-强半连续的概念, 并且讨论了ω-连续和几种ω-半连续的关系     

Lω-空间的可数ω-紧性

研究了Lω-空间的可数ω-紧性。利用Hα-ω-开覆盖等概念,引进Lω-了空间的可数ω-紧性的概念,并证明了可数ω-紧性具有有限可和、对ω-闭子集遗传、被连续的广义Zadeh型函数所保持、L-good extension等许多性质。     

带分隔符号＄的ω－语言理论──（Ⅱ）语言与ω－语言的统一

提出了一种新的语言──＄－ω－语言，把语言、ω－语言和＄－ω语言统一地讨论．特别对＄－ω正规语言进行了详细地讨论，得到了＄－ω正规语言的代数结构定理．提出了抽象正规表达式，得到了用同一个抽象正规表达式α表示正规语言Ｖ和ω－正规语言Ｖω的方法．     

I-析取ω-语言的几个性质

主要证明了在Xω中不存在极大和极小I-析取ω-语言,提出I-析取辖区概念并证明其是稠密语言.     

Lω-空间的ω-强半连通性

在Lω-空间中定义了ω-强半开(闭)集,引入了一种新的连通性,称之为ω-强半连通性,给出ω-强半连通分支的定义,研究了它们的一些基本性质.结果表明这种连通性保持了一般拓扑中连通性的许多类似性质.     

时间自动机与自动验证

给出时间自动机的基本概念,描述了区域自动机的构造方法,并且实现了区域自动机的构造算法.简述了通过时间自动机进行自动验证的过程,最后分析了区域自动机构造算法的时间复杂度.     

Lω-空间的ωS-分离性

在Lω-空间中引入了Lω-分离性的概念,主要包括ωS-1、ωS0、次Sω0分离性,讨论了它们的一些基本的拓扑性质.给出了ωS-分离性的几个等价刻划,讨论了它们之间的关系.     

ω—DYCK语言定理

本文证明了每一个ω-CFL都可表示为一个ω-DYCK语言与一ω-正规集之交的一个同态。     

Lω-空间中的ω*Ti分离性

在Lω-空间中引进一组新的分离公理。即ω^＊Ti分离公理（i=0,1,2）,给出了它们的特征性质,证明了ω^＊Ti分离性具有可遗传性、可乘性和ω-同胚不变性,以及在R．Lowen意义下“好的推广”等重要性质,并且它们之间有很好的协调一致性．