关于输入存贮线性有限自动机和状态机的分析.pdfVIP

定理3.2.2 设M 是GF(q) 上h 阶输入存贮线性有限自动机，由下式定义： h y (i ) ∑B x (i =−j ),i 0,1, .则： j j 0 （1）M 延迟0 步弱可逆⇔ M 的结构矩阵D 列线性无关。 （2）当1≤τ ≤h 时，若Bj 0, j 0,1, τ−1 ，则M 严格延迟τ 步弱可逆⇔ Bτ 列线性 无关。 推论3.2.3 设M 是GF(q) 上h 阶输入存贮线性有限自动机，由下式定义： h y (i ) ∑B x (i =−j )