基于矩阵模型表示的(线性)有限自动机的同步序列判定
The Determination of Synchronous Sequence of(Linear) Finite Automata Based on Its Matrix Model作者机构：黔南民族师范学院数学系贵州都匀558000 毕节学院数学系逻辑语言与认知研究中心贵州毕节551700 广西师范大学数学科学学院广西桂林541004
出 版 物：《数学的实践与认识》 (Mathematics in Practice and Theory)
年 卷 期：2011年第41卷第10期
页 面：192-197页
学科分类：08[工学] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：贵州省重点支持学科(应用数学)基金(黔教高发303号) 贵州省教育厅自然科学基金(黔教科20090068)
摘 要：在有限自动机矩阵模型表示方法的基础上,采用矩阵理论和布尔代数为工具,分别给出了判定输入序列是否是(线性)有限自动机的同步序列的新充要条件和求解线性有限自动机的最短同步序列的新算法.
维普期刊数据库
同方期刊数据库