本文研究了由单个状态生成的有限自动机的弱可逆性及分解,得出了由单个状态生成的有限自动机弱可逆的充分必要条件,证明了由单个状态生成的延迟τ步弱可逆有限自动机M能分解为一个延迟0步弱可逆有限自动机和一个τ阶延迟元的充要条件是M的生成子的τ长输出权为1.
This paper investigates the weakly invertible and decomposable properties of the finite automata generated by a single state.To prove whether a finite automation generated by a single state is weakly invertible,some necessary and sufficient conditions are shown.Moreover,for a weakly invertible finite automation(WIFA for short) M with delay τ generated by a single state,M can be decomposed into a WIFA with delay 0 and a τ-order unit if and only if the τ-output weight of the generator of M is 1.