您的位置： 专家智库 > >

周文俊

作品数：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年
到目前为止，交替的ω－有穷自动机的接受条件仅有６种，本文给出了６种新形式的接受条件，并研究了交替的ω－有穷自动机在这些条件下识别语言的能力．最后给出了ω－自动机在各种接受条件下识别的语言类．
周清雷周文俊庄雷苏锦祥
关键词：自动机识别语言
关于ω－有穷自动机的接受条件
1995年
ω－有穷自动机的接受条件及ω－有穷自动机在各种接受条件接受ω－语言的能力的研究是ω－有穷自动机理论中的一个重要课题。至今被公开的ω－有穷自动机的接受条件有６种即Ｃ＿１Ｃ＿６．本文提出了其它６种与Ｃ＿１一Ｃ＿６形式上截然不同的接受条件，并且研究了ω－ＮＦＡ分别在，接受ω－语言的能力，得出了，分别与对应相等．
周文俊
关键词：Ω-有穷自动机Ω-语言自动机
交替ω有穷自动机接受ω语言能力的研究被引量：1
1999年
本文研究了交替ω有穷自动机关于接受条件 Ｚ１ 和 Ｚ２ 接受ω语言的能力，并且与交替ω有穷自动机关于另外接受条件接受ω语言的能力进行了比较，从而得出了下面主要结果： Ａ Ｃ１  Ａ Ｚ１ ＝ Ａ Ｓ Ｚ１ ＝ Ａ Ｓ Ｚ２  Ａ
周清雷周文俊
关键词：Ω-有穷自动机Ω-语言自动机
一个改进的BM串匹配算法
1997年
本文利用BM算法的特点,改变BM算法在模式匹配过程中逐位匹配的顺序,得到一个BM算法的改进算法 NEWBM。本文给出了算法的正确性证明及时耗分析。
赵一瑾周文俊
关键词：BM算法
命题公式的二叉树
1995年
对任意一个命题公式Ａ，用三个基本的分解规则可以构造出以Ａ为根的二叉树（称为Ａ的二叉树），籍助于Ａ的二叉树的形式或性质，可以求出Ａ的析取范式及Ａ的属性（重言式、矛盾式或者可满足公式），还可以判别两个命题公式是否逻辑等价，从而得到了解决命题逻辑判定问题的有效方法——二叉树方法。
周文俊
关键词：命题公式二叉树命题逻辑
全选 清除 导出
共1页<1>
聚类工具0