线性有限自动机的UIO序列及其生成算法  

UIO sequences of linear finite automata and algorithms for fenerating the sequences

作　　者：谢正卫[1] 邓培民[1] 易忠[1] 

机构地区：[1]江苏技术师范学院基础课部

出　　处：《计算机工程与应用》2007年第2期49-52,144,共5页Computer Engineering and Applications

基　　金：国家自然科学基金资助项目(60473005);教育部优秀青年教师资助计划资助项目(2002-40);广西自然科学基金资助项目(0135005;0640061)。

摘　　要：对线性有限自动机的UIO序列进行了讨论,得到了线性有限自动机的任意一状态有某一长度的UIO序列的充要条件,得到了线性有限自动机的(所有)状态有UIO序列的的充要条件,还给出了有UIO序列的线性有限自动机的状态的最短UIO序列长度的上界,最后给出了判断线性有限自动机的所有状态有无UIO序列以及有求其UIO序列的两个算法.This paper studies UIO sequences of linear finite automata, gets the sufficient and necessary condition for any one state of linear finite automata having UIO sequences with some length.It also gets the sufficient and necessary condition for （all） the states of linear finite automata having UIO sequences,gets upper boundary on the minimal length of UIO sequences of the states of linear finite automata which states have UIO sequences.At last,it also gives two algorithms on the existence of UIO sequences of the states of linear finite automata and generating UIO sequences of the state of linear finite automata.

关 键 词：线性有限自动机 UIO序列 诊断矩阵 秩 算法 

分 类 号：TP301.1[自动化与计算机技术—计算机系统结构] TP301.6[自动化与计算机技术—计算机科学与技术]