您的位置: 专家智库 > >

周文俊

作品数:5 被引量:3H指数:1
供职机构:郑州大学信息工程学院计算机科学与技术系更多>>
发文基金:国家自然科学基金更多>>
相关领域:自动化与计算机技术理学更多>>

文献类型

  • 5篇中文期刊文章

领域

  • 4篇自动化与计算...
  • 1篇理学

主题

  • 3篇有穷自动机
  • 3篇自动机
  • 2篇Ω-有穷自动...
  • 2篇Ω-语言
  • 1篇语言
  • 1篇语言能力
  • 1篇识别语言
  • 1篇命题公式
  • 1篇命题逻辑
  • 1篇二叉树
  • 1篇BM算法

机构

  • 5篇郑州大学

作者

  • 5篇周文俊
  • 2篇周清雷
  • 1篇庄雷
  • 1篇赵一瑾
  • 1篇苏锦祥

传媒

  • 4篇郑州大学学报...
  • 1篇软件学报

年份

  • 1篇1999
  • 1篇1997
  • 2篇1995
  • 1篇1994
5 条 记 录,以下是 1-5
排序方式:
关于交替的ω─有穷自动机的接受条件被引量:3
1994年
到目前为止,交替的ω-有穷自动机的接受条件仅有6种,本文给出了6种新形式的接受条件,并研究了交替的ω-有穷自动机在这些条件下识别语言的能力.最后给出了ω-自动机在各种接受条件下识别的语言类.
周清雷周文俊庄雷苏锦祥
关键词:自动机识别语言
关于ω-有穷自动机的接受条件
1995年
ω-有穷自动机的接受条件及ω-有穷自动机在各种接受条件接受ω-语言的能力的研究是ω-有穷自动机理论中的一个重要课题。至今被公开的ω-有穷自动机的接受条件有6种即C_1C_6.本文提出了其它6种与C_1一C_6形式上截然不同的接受条件,并且研究了ω-NFA分别在,接受ω-语言的能力,得出了,分别与对应相等.
周文俊
关键词:Ω-有穷自动机Ω-语言自动机
交替ω有穷自动机接受ω语言能力的研究被引量:1
1999年
本文研究了交替ω有穷自动机关于接受条件 Z1 和 Z2 接受ω语言的能力,并且与交替ω有穷自动机关于另外接受条件接受ω语言的能力进行了比较,从而得出了下面主要结果: A C1  A Z1 = A S Z1 = A S Z2  A
周清雷周文俊
关键词:Ω-有穷自动机Ω-语言自动机
一个改进的BM串匹配算法
1997年
本文利用BM算法的特点,改变BM算法在模式匹配过程中逐位匹配的顺序,得到一个BM算法的改进算法 NEWBM。本文给出了算法的正确性证明及时耗分析。
赵一瑾周文俊
关键词:BM算法
命题公式的二叉树
1995年
对任意一个命题公式A,用三个基本的分解规则可以构造出以A为根的二叉树(称为A的二叉树),籍助于A的二叉树的形式或性质,可以求出A的析取范式及A的属性(重言式、矛盾式或者可满足公式),还可以判别两个命题公式是否逻辑等价,从而得到了解决命题逻辑判定问题的有效方法——二叉树方法。
周文俊
关键词:命题公式二叉树命题逻辑
共1页<1>
聚类工具0