计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2007年
2期
49-52,144
,共5页
线性有限自动机%UIO序列%诊断矩阵%秩%算法
線性有限自動機%UIO序列%診斷矩陣%秩%算法
선성유한자동궤%UIO서렬%진단구진%질%산법
对线性有限自动机的UIO序列进行了讨论,得到了线性有限自动机的任意一状态有某一长度的UIO序列的充要条件,得到了线性有限自动机的(所有)状态有UIO序列的的充要条件,还给出了有UIO序列的线性有限自动机的状态的最短UIO序列长度的上界,最后给出了判断线性有限自动机的所有状态有无UIO序列以及有求其UIO序列的两个算法.
對線性有限自動機的UIO序列進行瞭討論,得到瞭線性有限自動機的任意一狀態有某一長度的UIO序列的充要條件,得到瞭線性有限自動機的(所有)狀態有UIO序列的的充要條件,還給齣瞭有UIO序列的線性有限自動機的狀態的最短UIO序列長度的上界,最後給齣瞭判斷線性有限自動機的所有狀態有無UIO序列以及有求其UIO序列的兩箇算法.
대선성유한자동궤적UIO서렬진행료토론,득도료선성유한자동궤적임의일상태유모일장도적UIO서렬적충요조건,득도료선성유한자동궤적(소유)상태유UIO서렬적적충요조건,환급출료유UIO서렬적선성유한자동궤적상태적최단UIO서렬장도적상계,최후급출료판단선성유한자동궤적소유상태유무UIO서렬이급유구기UIO서렬적량개산법.