作者:
基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
研究了不确定有穷自动机NFA、确定有穷自动机FA、规范有穷自动机GFA的基本关系与等价转换;给出了"NFA→FA"等价转换算法与"FA→GFA"等价转换算法,构造性证明了从FA到GFA的存在性,提供了自动机极小化算法的研究基础.
推荐文章
基于有限状态自动机的复合事件监测模型
ECA规则
复合事件
DFA
事件表达式的自动机模型
基于改进BM算法的确定型有穷自动机的设计
确定型有穷自动机
BM算法
模式匹配
基于Uppaal的时延Petri网到时间自动机等价模型验证
时延Petri网
时间自动机
TPN-to-TA转换
Uppaal
管道超声内检测自动壁厚转换算法
管道
超声内检测
高阶统计量
1.5维谱
自动壁厚转换
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 NFA→FA→GFA自动机转换算法
来源期刊 电子科技大学学报 学科 工学
关键词 不确定自动机 确定自动机 规范自动机 等价转换算法 极小化
年,卷(期) 2005,(3) 所属期刊栏目 学术论文与技术报告
研究方向 页码范围 363-365,395
页数 4页 分类号 TP301.1
字数 1409字 语种 中文
DOI 10.3969/j.issn.1001-0548.2005.03.020
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 周启海 西南财经大学经济信息工程学院 55 517 10.0 21.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (2)
节点文献
引证文献  (9)
同被引文献  (4)
二级引证文献  (19)
1991(1)
  • 参考文献(1)
  • 二级参考文献(0)
1994(1)
  • 参考文献(1)
  • 二级参考文献(0)
2005(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2008(3)
  • 引证文献(1)
  • 二级引证文献(2)
2009(4)
  • 引证文献(2)
  • 二级引证文献(2)
2010(1)
  • 引证文献(1)
  • 二级引证文献(0)
2011(4)
  • 引证文献(3)
  • 二级引证文献(1)
2012(5)
  • 引证文献(2)
  • 二级引证文献(3)
2013(2)
  • 引证文献(0)
  • 二级引证文献(2)
2015(3)
  • 引证文献(0)
  • 二级引证文献(3)
2016(3)
  • 引证文献(0)
  • 二级引证文献(3)
2017(2)
  • 引证文献(0)
  • 二级引证文献(2)
2018(1)
  • 引证文献(0)
  • 二级引证文献(1)
研究主题发展历程
节点文献
不确定自动机
确定自动机
规范自动机
等价转换算法
极小化
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
电子科技大学学报
双月刊
1001-0548
51-1207/T
大16开
成都市成华区建设北路二段四号
62-34
1959
chi
出版文献量(篇)
4185
总下载数(次)
13
总被引数(次)
36111
论文1v1指导