2024年8月27日
星期二
|
欢迎来到贵州省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
周文俊
作品数:
5
被引量:3
H指数: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
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张