首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   16篇
  免费   2篇
  国内免费   4篇
机械仪表   1篇
自动化技术   21篇
  2007年   1篇
  2005年   1篇
  2004年   2篇
  2002年   1篇
  1996年   3篇
  1995年   6篇
  1994年   1篇
  1992年   1篇
  1990年   2篇
  1986年   1篇
  1985年   1篇
  1984年   1篇
  1982年   1篇
排序方式: 共有22条查询结果,搜索用时 15 毫秒
1.
第三届全国计算机算法设计与分析会议与第五届全国形式语言与自动机理论会议在郑州召开。这两个会议是由黄河大学、郑州大学、河南省软件开发中心联合主办的,于1985年11月15日至18日在黄河大学举行。来自全国各地的80多个高等院校和科研单位的120多名代表出席了会议,在两个会议上,分别宣读了学术论文54篇。与会代表对河南省有关领导和黄河大学对会议的大力支持,表示衷  相似文献   
2.
3.
本文提出了一种新的ω-识别模型:ω-循环自动机及其循环接受条件.给出了ω-循环自动机在该接受条件下所接受的ω-语言类的集合表示.  相似文献   
4.
关于ω—有穷自动机的两个新的接受条件   总被引:1,自引:0,他引:1  
周文俊  苏锦祥 《软件学报》1995,6(1):132-137
至今被公开的ω有穷自动机的接受条件有6个即C1-C6,寻找新的接受条件和研究ω-有穷自动机关于新接受条件接受ω-语言能力是ω有穷自动机理论中的一个重要课题。本定义了ω有穷自动机的两个新的接受条件Z1和Z2,并且研究了:(1)ω-U-NFA关于Zi(i=1,2)接受ω-语的能力。  相似文献   
5.
到目前为止,交替的ω-有穷自动机的接受条件仅有6种,本文给出了6种新形式的接受条件,并研究了交替的ω-有穷自动机在这些条件下识别语言的能力.最后给出了ω-自动机在各种接受条件下识别的语言类.  相似文献   
6.
庄雷  孟庆远  苏锦祥 《软件学报》1996,7(Z1):421-424
ω—语言是由有穷字母表∑上的一些无穷串组成的集合.被ω一有穷自动机接受的ω一语言称为ω一正则语言.作者曾从集合的角度描述了一类ω一正则语言,而不是传统地从生成或识别的角度来描述这一类正则语言.本文从集合的角度来描述更为广泛的一类ω一正则语言.  相似文献   
7.
对时间自动机的转换系统进行改进,提出了一个状态空间的极小化构造方法。该方法用位置和停留在该位置时的可能时钟值集合来表示状态,以此隐藏因时间流逝而引发的无穷状态,得到了改进的转换系统——时间段转换系统;并通过对转换可能发生时间的分析,去除无效转换;然后使用转换互模拟合并等价状态,实现了状态空间的极小化,有效地避免了状态空间爆炸。  相似文献   
8.
本文提出了一类交替的ω-有穷自动机,即所有状态都是万能的交替的ω-有穷自动机(记为ω-UAFA),并采用了构造的方法证明了ω-UAFA和确定的ω-有穷自动机在四种接受条件下接受的ω-语言的等价性。  相似文献   
9.
本文对作者几年来先后在ω-语言族中定义的五类ω-凸语言进行了相应的分层,其结果是:  相似文献   
10.
本文提出了一种新的ω-识别模型:ω-循环自动机及其循环接受条件,给出了ω-循环自动机在该接受条件下所接受的ω-语言类的集合表示。  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号