节点文献

基于矩阵模型表示的(线性)有限自动机的同步序列判定

The Determination of Synchronous Sequence of(Linear) Finite Automata Based on Its Matrix Model

推荐 CAJ下载
PDF下载
不支持迅雷等下载工具，请取消加速工具后下载。

【Author】 YANG Nan~1,CAO Fa-sheng~2,DENG Pei-min~3 (1.Department of Math,Qiannan Normal College of Nationalities,Duyun 558000,China) (2.Center of Logic,Language and Cognition,Department of Math,Bijie University,Bijie 551700,China) (3.The Mathematics Science College of Guangxi Normal University,Guilin 541004,China)

【机构】黔南民族师范学院数学系；毕节学院数学系逻辑语言与认知研究中心；广西师范大学数学科学学院；

【摘要】在有限自动机矩阵模型表示方法的基础上,采用矩阵理论和布尔代数为工具,分别给出了判定输入序列是否是(线性)有限自动机的同步序列的新充要条件和求解线性有限自动机的最短同步序列的新算法.更多还原

【Abstract】 Based on the matrix model of a finite automata and with the tools of the matrix theory and the Boolean algebra,this paper gives out the new sufficient and necessary conditions which determine whether input sequences are the synchronous sequence of(linear) finite automata and the new algorithm.which solves the shortest synchronous sequence of the linear finite automata.更多还原

【关键词】有限自动机；矩阵模型；同步序列；
【Key words】 finite automata； matrix model； synchronous sequence；

【基金】贵州省重点支持学科(应用数学)基金(黔教高发[2009]303号);贵州省教育厅自然科学基金(黔教科20090068)

【文献出处】数学的实践与认识 ,Mathematics in Practice and Theory , 编辑部邮箱 ,2011年10期

【分类号】TP301.1
【下载频次】69

知网节下载

节点文献中：

本文链接的文献网络图示:

本文的引文网络

节点文献