苏锦祥
- 作品数:16 被引量:22H指数:3
- 供职机构:郑州大学信息工程学院更多>>
- 发文基金:国家自然科学基金河南省自然科学基金更多>>
- 相关领域:自动化与计算机技术自然科学总论更多>>
- W—语言族上的两种运算
- 字母表Σ中的字母组成的无穷序列称为Σ上的一个Σ—字,Σ上的W—字组成的任意集合称为Σ上的一个W—语言。该文通过两种运算给出W—正则语言类的几个子类的代数描述,这有助于对W—正则语言族的结构的研究。该文还定义了闭的W—语言...
- 苏锦祥
- 关键词:自动机自动机理论计算数学正则
- 关于交替的ω─有穷自动机的接受条件被引量:3
- 1994年
- 到目前为止,交替的ω-有穷自动机的接受条件仅有6种,本文给出了6种新形式的接受条件,并研究了交替的ω-有穷自动机在这些条件下识别语言的能力.最后给出了ω-自动机在各种接受条件下识别的语言类.
- 周清雷周文俊庄雷苏锦祥
- 关键词:自动机识别语言
- 几类凸语言族的分层
- 1990年
- 本文对以下四类四种凸语言进行了分层:由字之间的嵌入关系确定的半序关系所定义的四种凸语言、由笔者利用字之间的子字关系确定的半序关系定义的四种广义凸语言、由笔者利用字之间的前缀关系确定的半序关系所定义的四种p-广义凸语言,以及利用字之间的后缀关系确定的半序关系所定义的四种T-广义凸语言。证明了四种凸语言在最内层,其次,相应的是四种广义凸语言,而四种P-广义凸语言和四种T-广义凸语同时为相应语言族的最外层。
- 苏锦祥
- 关键词:形式语言
- 两种广义凸语言之间的关系
- 1989年
- 本文给出P—广义凸语言与T—广义凸语言之间的采些关系。即,在有穷字母表上的一个语言L是P—广义左凸语言,当且仅当L^R是一个T—广义左凸语言。一个语言L是P—广义右凸语言,当且仅当L^R是一个T—广义右凸语言。一个语言L是P—广义弱凸语言,当且仅当L^R的T—广义弱凸语言。一个语言L是P—广义凸语言,当且值当L^R是T—广义凸语言。
- 苏锦祥
- 一种新的ω-识别模型
- 1995年
- 本文提出了一种新的ω-识别模型:ω-循环自动机及其循环接受条件.给出了ω-循环自动机在该接受条件下所接受的ω-语言类的集合表示.
- 张好明苏锦祥庄雷
- 关键词:自动机
- 关于ω-正则语言类的一个子类的特征
- 1992年
- 为了给出本文的主要结果,首先引进了由有穷字母表∑上的ω^-语言所确定的集合∑~ω上的ω-Nerode等价关系的概念.在此基础上证明了∑上的与前缀逆相关的ω^-语言是ω^-正则语言,当且仅当由它所确定的ω-Nerode等价关系的指数有穷.从而,本文从代数、集合的角度给出了在∑上的与前缀逆相关的一类ω^-语言中,ω^-正则语言的特征.
- 庄雷苏锦祥
- 关键词:Ω-语言子类正则语言
- 几类ω-凸语言族的分层
- 1996年
- 本文对作者几年来先后在ω-语言族中定义的五类ω-凸语言进行了相应的分层,其结果是:
- 苏锦祥庄雷周文俊周清雷
- 关键词:形式语言
- 一个基于实化聚集视图的近似查询计算模型及其应用
- 2004年
- 在数据仓库、大量交易记录系统、移动计算、联机分析处理系统(OLAP)等许多领域中聚集数据的处理是一个非常重要的核心问题。该文首先分析了聚集数据查询的特点,引入了聚集查询语言和聚集查询重写;其次对于聚集查询环境下如何实现快速查询,给出了一个基于聚集数据的近似查询计算模型;最后将该计算模型应用于人口统计系统,从而实现对统计信息类数据进行快速的查询处理,获得有效的查询结果。
- 陈昕陈维兴庄雷苏锦祥
- 关键词:聚集数据统计应用
- 关于几类S—广义凸语言族的封闭性
- 1990年
- 本文所涉及的四种S—广义凸语言是由作者定义的,是G. Thierrin所定义的四种凸语言的推广。本文给出了S—广义左、右凸语言、S—广义弱凸语言和S—广义弱凸语言在某些运算之下的封闭性。
- 苏锦祥
- 关键词:形式语言
- 基于聚集查询重写的近似计算及其应用
- 2005年
- 研究了聚集查询重写的特征,根据数据仓库环境下聚集查询需要快速计算结果的特点,给出了一个基于聚集查询重写的快速近似计算模型。并在人口统计信息系统中应用该计算模型实现快速查询计算,该近似快速计算模型可以应用于具有统计特征的数据环境,获得快速的查询计算结果。
- 陈昕陈维兴苏锦祥
- 关键词:统计应用