基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
研究自动机的方法有状态转换函数、RTL、VHDL以及矩阵形式等方法.矩阵形式与其它方法相比能很好地完成对自动机状态转化过程的演算.自动机是描述集合之间某种关系,它的工作过程是一种逻辑推理过程.根据自动机的逻辑形式定义,结合矩阵方式,建立了自动机的矩阵逻辑运算方程;同时讨论了矩阵表示的有关性质.
推荐文章
基于确定有穷自动机描述的仿人智能控制记忆
记忆
仿人
文法
自动机
状态转换换
基于非确定有穷自动机的网络入侵容忍系统研究
入侵容忍
有穷自动机
网络安全
非确定性
确定有限自动机推理的可计算逻辑分析
可计算逻辑
确定有限自动机
博弈
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 确定有限自动机的矩阵形式
来源期刊 四川师范大学学报(自然科学版) 学科 工学
关键词 确定有限自动机 矩阵 逻辑运算
年,卷(期) 2009,(4) 所属期刊栏目
研究方向 页码范围 447-449
页数 3页 分类号 TP301.1
字数 2511字 语种 中文
DOI 10.3969/j.issn.1001-8395.2009.04.009
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 李生林 后勤工程学院自动化系 30 135 7.0 10.0
2 刘益 宜宾学院计算机与信息科学系 17 39 5.0 5.0
3 闵兰 成都理工大学信息管理学院 21 162 7.0 12.0
4 高黎 后勤工程学院自动化系 8 51 4.0 7.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (44)
共引文献  (26)
参考文献  (11)
节点文献
引证文献  (5)
同被引文献  (7)
二级引证文献  (0)
1959(2)
  • 参考文献(1)
  • 二级参考文献(1)
1965(3)
  • 参考文献(1)
  • 二级参考文献(2)
1969(1)
  • 参考文献(0)
  • 二级参考文献(1)
1976(1)
  • 参考文献(0)
  • 二级参考文献(1)
1985(2)
  • 参考文献(0)
  • 二级参考文献(2)
1987(1)
  • 参考文献(0)
  • 二级参考文献(1)
1990(1)
  • 参考文献(1)
  • 二级参考文献(0)
1991(1)
  • 参考文献(0)
  • 二级参考文献(1)
1993(2)
  • 参考文献(0)
  • 二级参考文献(2)
1997(1)
  • 参考文献(0)
  • 二级参考文献(1)
1998(1)
  • 参考文献(0)
  • 二级参考文献(1)
1999(1)
  • 参考文献(0)
  • 二级参考文献(1)
2000(2)
  • 参考文献(0)
  • 二级参考文献(2)
2001(4)
  • 参考文献(1)
  • 二级参考文献(3)
2003(10)
  • 参考文献(0)
  • 二级参考文献(10)
2004(3)
  • 参考文献(0)
  • 二级参考文献(3)
2005(10)
  • 参考文献(2)
  • 二级参考文献(8)
2006(5)
  • 参考文献(1)
  • 二级参考文献(4)
2007(2)
  • 参考文献(2)
  • 二级参考文献(0)
2008(2)
  • 参考文献(2)
  • 二级参考文献(0)
2009(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2010(1)
  • 引证文献(1)
  • 二级引证文献(0)
2012(1)
  • 引证文献(1)
  • 二级引证文献(0)
2013(2)
  • 引证文献(2)
  • 二级引证文献(0)
2014(1)
  • 引证文献(1)
  • 二级引证文献(0)
研究主题发展历程
节点文献
确定有限自动机
矩阵
逻辑运算
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
四川师范大学学报(自然科学版)
双月刊
1001-8395
51-1295/N
大16开
成都市静安路5号
1978
chi
出版文献量(篇)
3968
总下载数(次)
9
总被引数(次)
17783
相关基金
国家自然科学基金
英文译名:the National Natural Science Foundation of China
官方网址:http://www.nsfc.gov.cn/
项目类型:青年科学基金项目(面上项目)
学科类型:数理科学
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导