工程数学学报
工程數學學報
공정수학학보
CHINESE JOURNAL OF ENGINEERING MATHEMATICS
2011年
1期
55-60
,共6页
黄飞丹%蒙春凤%邓培民%易忠
黃飛丹%矇春鳳%鄧培民%易忠
황비단%몽춘봉%산배민%역충
线性有限自动机%可逆%弱可逆%弱逆%分解
線性有限自動機%可逆%弱可逆%弱逆%分解
선성유한자동궤%가역%약가역%약역%분해
本文研究了由单个状态生成的有限自动机的弱可逆性及分解,得出了由单个状态生成的有限自动机弱可逆的充分必要条件,证明了由单个状态生成的延迟τ步弱可逆有限自动机M能分解为一个延迟0步弱可逆有限自动机和一个τ阶延迟元的充要条件是M的生成子的τ长输出权为1.
本文研究瞭由單箇狀態生成的有限自動機的弱可逆性及分解,得齣瞭由單箇狀態生成的有限自動機弱可逆的充分必要條件,證明瞭由單箇狀態生成的延遲τ步弱可逆有限自動機M能分解為一箇延遲0步弱可逆有限自動機和一箇τ階延遲元的充要條件是M的生成子的τ長輸齣權為1.
본문연구료유단개상태생성적유한자동궤적약가역성급분해,득출료유단개상태생성적유한자동궤약가역적충분필요조건,증명료유단개상태생성적연지τ보약가역유한자동궤M능분해위일개연지0보약가역유한자동궤화일개τ계연지원적충요조건시M적생성자적τ장수출권위1.
