基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
主要讨论了两个循环有限自动机的等价性与循环有限自动机的生成子之间的关系,在某些条件下给出了两个循环有限自动机等价的充分必要条件.
推荐文章
基于Uppaal的时延Petri网到时间自动机等价模型验证
时延Petri网
时间自动机
TPN-to-TA转换
Uppaal
确定型有穷状态自动机的同态压缩
确定型自动机
状态等价
极小化
同态压缩
Fuzzy树自动机的等价性
模糊树
模糊树自动机
状态转移
一种基于时间自动机的域构造方法
模型检验
时间自动机
TCTL
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 循环自动机的等价性
来源期刊 计算机工程与应用 学科 工学
关键词 循环有限自动机 等价 极小有限自动机
年,卷(期) 2011,(7) 所属期刊栏目 研究、探讨
研究方向 页码范围 34-35,88
页数 分类号 TP301.1
字数 3193字 语种 中文
DOI 10.3778/j.issn.1002-8331.2011.07.010
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 黄飞丹 毕节学院数学系 13 32 3.0 5.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (49)
共引文献  (15)
参考文献  (10)
节点文献
引证文献  (1)
同被引文献  (8)
二级引证文献  (0)
1984(1)
  • 参考文献(0)
  • 二级参考文献(1)
1985(2)
  • 参考文献(0)
  • 二级参考文献(2)
1986(3)
  • 参考文献(0)
  • 二级参考文献(3)
1988(3)
  • 参考文献(0)
  • 二级参考文献(3)
1992(2)
  • 参考文献(0)
  • 二级参考文献(2)
1993(7)
  • 参考文献(1)
  • 二级参考文献(6)
1994(5)
  • 参考文献(0)
  • 二级参考文献(5)
1997(2)
  • 参考文献(0)
  • 二级参考文献(2)
2000(2)
  • 参考文献(0)
  • 二级参考文献(2)
2002(2)
  • 参考文献(0)
  • 二级参考文献(2)
2003(5)
  • 参考文献(0)
  • 二级参考文献(5)
2004(2)
  • 参考文献(0)
  • 二级参考文献(2)
2005(9)
  • 参考文献(2)
  • 二级参考文献(7)
2006(2)
  • 参考文献(1)
  • 二级参考文献(1)
2007(2)
  • 参考文献(0)
  • 二级参考文献(2)
2008(4)
  • 参考文献(2)
  • 二级参考文献(2)
2009(5)
  • 参考文献(3)
  • 二级参考文献(2)
2010(1)
  • 参考文献(1)
  • 二级参考文献(0)
2011(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2014(1)
  • 引证文献(1)
  • 二级引证文献(0)
研究主题发展历程
节点文献
循环有限自动机
等价
极小有限自动机
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机工程与应用
半月刊
1002-8331
11-2127/TP
大16开
北京619信箱26分箱
82-605
1964
chi
出版文献量(篇)
39068
总下载数(次)
102
总被引数(次)
390217
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导