Ω-语言

作品数:14被引量:4H指数:1
导出分析报告
相关领域:自动化与计算机技术理学更多>>
相关作者:周清雷苏锦祥庄雷周文俊汪国安更多>>
相关机构:郑州大学云南大学山东大学河南大学更多>>
相关期刊:《山东大学学报(理学版)》《计算机研究与发展》《软件学报》《河南大学学报(自然科学版)》更多>>
相关基金:国家自然科学基金中国科学院科学基金更多>>
-

检索结果分析

结果分析中...
条 记 录,以下是1-10
视图:
排序:
I-析取ω-语言的几个性质被引量:1
《西南师范大学学报(自然科学版)》2008年第5期15-17,共3页刘祖华 曹春华 
主要证明了在Xω中不存在极大和极小I-析取ω-语言,提出I-析取辖区概念并证明其是稠密语言.
关键词:Ⅰ-析取ω-语言 Ⅰ-析取辖区 Ⅰ-稠密 
交替ω有穷自动机接受ω语言能力的研究
《郑州大学学报(自然科学版)》1999年第3期23-27,共5页周清雷 周文俊 
国家自然科学基金
本文研究了交替ω有穷自动机关于接受条件 Z1 和 Z2 接受ω语言的能力,并且与交替ω有穷自动机关于另外接受条件接受ω语言的能力进行了比较,从而得出了下面主要结果: A C1  A Z1 = A S Z1 = A S Z2...
关键词:Ω-有穷自动机 接受条件 Ω-语言 自动机 
关于ω-有穷自动机的接受条件
《河南大学学报(自然科学版)》1999年第3期36-41,共6页周清雷 汪国安 
国家自然科学基金
关于ω- 有穷自动要的接受条件的研究,旨在揭示ω- 自动识别语言的能力以及对语言类作进一步的划分.到目前为止ω- 自动机的接受条件已有六种,本文给出了一些新形式的接受条件并且研究了ω- 有穷自动机在这些接受条件下接受ω-
关键词:Ω-有穷自动机 Ω-语言 接受条件 自动机 
ω—正则语言类的一个子类
《软件学报》1996年第A00期421-424,共4页庄雷 孟庆远 
ω-语言是由有穷字线靖Σ上的一些无穷串组成的集合,被ω-有穷自动机接受的ω-语言称为ω-正则语言,作者曾从集合的角度描述了一类ω-正则语言,而不是传统地从生成或识别的角度来描述这一类正则语言,本文从集合的角度来描棕更...
关键词:ω-正则语言 ω-凸语言 Ω-语言 形式语言 
关于ω-有穷自动机的接受条件
《郑州大学学报(自然科学版)》1995年第4期28-32,共5页周文俊 
国家自然科学基金资助课题
ω-有穷自动机的接受条件及ω-有穷自动机在各种接受条件接受ω-语言的能力的研究是ω-有穷自动机理论中的一个重要课题。至今被公开的ω-有穷自动机的接受条件有6种即C_1C_6.本文提出了其它6种与C_1一C_6形式上截...
关键词:Ω-有穷自动机 Ω-语言 接受条件 自动机 
一类交替的ω-有穷自动机和确定的ω-有穷自动机识别能力的等价性
《计算机研究与发展》1995年第9期17-20,26,共5页周清雷 苏锦祥 
国家自然科学基金
本文提出了一类交替的ω-有穷自动机,即所有状态都是万能的交替的ω-有穷自动机(记为ω-UAFA),并采用了构造的方法证明了ω-UAFA和确定的ω-有穷自动机在四种接受条件下接受的ω-语言的等价性。
关键词:有穷自动机 Ω-语言 自动机 识别 
一种新的ω-识别模型
《计算机学报》1995年第6期457-461,共5页张好明 苏锦祥 庄雷 
国家自然科学基金
本文提出了一种新的ω-识别模型:ω-循环自动机及其循环接受条件.给出了ω-循环自动机在该接受条件下所接受的ω-语言类的集合表示.
关键词:ω循环自动机 ω-语言类 ω-识别模型 自动机 
一类交替的ω-有穷自动机被引量:1
《郑州大学学报(理学版)》1994年第2期26-29,共4页周清雷 
国家自然科学基金资助
本文提出了一类交替的ω-有穷自动机(ω-UAFA),并采用了构造方法证明了ω-UAFA和简单的ω-UAFA在C_1、C_2、C_5和C_4接受条件下的等价性。
关键词:交替的ω-有穷自动机 接受条件 Ω-语言 
带分隔符号$的ω-语言理论──(Ⅱ)语言与ω-语言的统一
《山东大学学报(理学版)》1994年第4期398-407,共10页马世骅 
国家自然科学基金
提出了一种新的语言──$-ω-语言,把语言、ω-语言和$-ω语言统一地讨论.特别对$-ω正规语言进行了详细地讨论,得到了$-ω正规语言的代数结构定理.提出了抽象正规表达式,得到了用同一个抽象正规表达式α表示正规语言V...
关键词:形式语言 Ω-语言 $-ω语言 
关于几种ω-凸语言的某些性质与特征
《郑州大学学报(理学版)》1993年第3期21-23,共3页庄雷 
河南省教委青年自然科学基金
本文用集合论的方法给出在有穷字母表∑上的任意ω-语言在左凸置换、右凸置换和凸换下的象依次为ω-左凸语言、ω-右凸语言和ω-凸语言。从而ω-左凸语言族、ω-右凸语言族和ω-凸语言族对相应的凸置换封闭。本文还给出了在闭的ω-语言...
关键词:ω-左凸语言 ω-右凸语言 ω-凸语言 闭的ω-语言 
检索报告 对象比较 聚类工具 使用帮助 返回顶部