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

Abstract: 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.

Key words: linear finite automata, UIO sequences, diagnosis matrix, rank, algorithm