共查询到20条相似文献,搜索用时 15 毫秒
1.
主要证明了在Xω中不存在极大和极小I-析取ω-语言,提出I-析取辖区概念并证明其是稠密语言. 相似文献
2.
3.
给出了完全f-析取语言和拟完全f-析取语言的定义,讨论它们的代数性质。 相似文献
4.
5.
利用Lω-空间中的Lω-局部有限性质,引进了Lω-空间中的Ⅰ型Lω-仿紧性等概念,系统地研究了Ⅰ型Lω-仿紧性的基本性质,得到了Ⅰ型Lω-仿紧性在弱诱导条件下的一些等价条件. 相似文献
6.
黄朝霞 《集美大学学报(自然科学版)》2007,12(3):273-275
研究了Lω-空间的ω-有限覆盖性质问题.利用Lω-空间的ω-远域和ω-覆盖等概念,系统讨论了ω-有限覆盖的特征性质,证明了Lω-空间的ω-有限覆盖性质具有拓扑不变性和闭遗传等性质. 相似文献
7.
主要解决了左消语言与析取语言及其推广的乘积是何种语言的问题.首先,证明了:当X是左消语言,Y是任意语言时,XY的主同余包含在Y的主同余中.在此基础上得到了如下关于析取语言及其推广的一些结论:当X是左消语言,Y是析取语言或是其推广时,XY也是相应的同类语言. 相似文献
8.
郭清泉 《山东大学学报(理学版)》1987,(1)
[1] 中定义了有穷转向的ω-pda 和ω-cfl,给出了它们的若干性质。本文讨论有穷转向的ω-cfl 的生成,定义ω超线性文法和ω超线性语言,证明ω超线性语言和有穷转向的ω-cfl是同一语言类。 相似文献
9.
沈继忠 《江西师范大学学报(自然科学版)》1989,13(2):7-12
[1]中刻划了 F-正则语言的代数特征,并讨论了某些代数性质,本文继续[1]的工作,定义了 F-析取语言,并用 F-代数结构的方法刻划了 F-析取语言的某些特性. 相似文献
10.
在Lω-空间中定义了ω-完全正规分离性,并讨论了它的一些基本性质,如:遗传性、L-好的推广等。 相似文献
11.
在Lω-空间中引入一种新的正则,即ω*-正则,证明了ω*-正则不仅蕴涵黄朝霞文献中所提出的ω-正则,而且还具有ω-正则的一些好的性质. 相似文献
12.
时间自动机被广泛用于实时系统验证和模型检验.为适应不同类型的系统验证需要,不少时间自动机的相关模型被提出.时间树自动机是这样的新模型之一.目前主要是针对时间树自动机识别的语言类及相关性质的研究.本文提出了时间树自动机识别语言的一个条件,并证明了结论的正确性.如果一个语言不能满足该条件,它一定不能被时间树自动机识别.这为证明一个具体语言不能被时间树自动机识别提供了思路. 相似文献
13.
研究了Lω-空间的可数ω-紧性。利用Hα-ω-开覆盖等概念,引进Lω-了空间的可数ω-紧性的概念,并证明了可数ω-紧性具有有限可和、对ω-闭子集遗传、被连续的广义Zadeh型函数所保持、L-good extension等许多性质。 相似文献
14.
在Lω-空间空间中定义了ω-半开(闭)集、ω-半连续以及ω-强半连续的概念, 并且讨论了ω-连续和几种ω-半连续的关系 相似文献
15.
马世骅 《山东大学学报(理学版)》1994,(4)
提出了一种新的语言──$-ω-语言,把语言、ω-语言和$-ω语言统一地讨论.特别对$-ω正规语言进行了详细地讨论,得到了$-ω正规语言的代数结构定理.提出了抽象正规表达式,得到了用同一个抽象正规表达式α表示正规语言V和ω-正规语言Vω的方法. 相似文献
16.
关于ω-有穷自动要的接受条件的研究,旨在揭示ω自动识别语言的能力以及对语言类作进一步的划分,到目前为止ω-自动机的接受条件已有六种,本文给出了一些新形式的接受条件并且研究了ω-有穷自动机在这些接受条件下接受ω-语言的能力。 相似文献
17.
18.
在Lω-空间中引入了Lω-分离性的概念,主要包括ωS-1、ωS0、次Sω0分离性,讨论了它们的一些基本的拓扑性质.给出了ωS-分离性的几个等价刻划,讨论了它们之间的关系. 相似文献
19.
黄朝霞 《集美大学学报(自然科学版)》2007,12(1):81-84
研究了LF保序算子空间的ω-局部有限性质问题.利用LF保序算子空间的ω-远域等概念,引进了LF保序算子空间的ω-局部有限性质、ω*-局部有限性质及强ω-局部有限性质等概念,系统讨论了这些概念的特征性质,得到强ω-局部有限性(→)ω*-局部有限性(→)ω-局部有限性. 相似文献
20.