基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
在功能上,正规文法与有限自动机描述和识别语言是等价的,它们之间也存在等价构造算法,但这些构造算法有些复杂.对其算法进行了简化且给以了证明,并提出了一个从有限自动机构造等价左线性正规文法的算法,同时也进行了证明,最后给出了该算法的一个实例.
推荐文章
一种基于时间自动机的域构造方法
模型检验
时间自动机
TCTL
基于有限自动机的PPP协议描述
PPP协议
有限自动机
状态图
基于Uppaal的时延Petri网到时间自动机等价模型验证
时延Petri网
时间自动机
TPN-to-TA转换
Uppaal
有限布尔代数上的自动机
有限自动机
有限内动机
布尔代数
正交性
图型
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 正规文法与有限自动机的等价构造
来源期刊 计算机应用与软件 学科 工学
关键词 有限自动机 DFA NFA 正规文法
年,卷(期) 2008,(6) 所属期刊栏目 软件技术与研究
研究方向 页码范围 110-112
页数 3页 分类号 TP3
字数 3433字 语种 中文
DOI 10.3969/j.issn.1000-386X.2008.06.044
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 钱忠胜 江西财经大学信息管理学院 22 244 8.0 15.0
3 邹俊 江西财经大学信息管理学院 8 43 4.0 6.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (2)
共引文献  (1)
参考文献  (2)
节点文献
引证文献  (8)
同被引文献  (10)
二级引证文献  (2)
1989(1)
  • 参考文献(0)
  • 二级参考文献(1)
1993(1)
  • 参考文献(0)
  • 二级参考文献(1)
1997(1)
  • 参考文献(1)
  • 二级参考文献(0)
2003(1)
  • 参考文献(1)
  • 二级参考文献(0)
2008(1)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(1)
  • 二级引证文献(0)
2008(1)
  • 引证文献(1)
  • 二级引证文献(0)
2009(1)
  • 引证文献(1)
  • 二级引证文献(0)
2010(1)
  • 引证文献(1)
  • 二级引证文献(0)
2011(1)
  • 引证文献(1)
  • 二级引证文献(0)
2012(1)
  • 引证文献(1)
  • 二级引证文献(0)
2013(1)
  • 引证文献(1)
  • 二级引证文献(0)
2014(1)
  • 引证文献(1)
  • 二级引证文献(0)
2018(1)
  • 引证文献(1)
  • 二级引证文献(0)
2019(2)
  • 引证文献(0)
  • 二级引证文献(2)
研究主题发展历程
节点文献
有限自动机
DFA
NFA
正规文法
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机应用与软件
月刊
1000-386X
31-1260/TP
大16开
上海市愚园路546号
4-379
1984
chi
出版文献量(篇)
16532
总下载数(次)
47
总被引数(次)
101489
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导