论文研究-弱可逆拟（r，r）阶存贮线性有限自动机的分解.pdf

通过对延迟r步弱可逆拟（r，r）阶存贮线性有限自动机输出权的研究，得出对延迟r步弱可逆拟（r，r）阶存贮线性有限自动机的任意一个状态，它的长r的输出权都是1;任何一个n元拟（r，r）阶存贮线性有限自动机M延迟r步弱可逆的充分必要条件是M都可以分解为一个延迟0步弱可逆有限自动机M0和一个延迟r步弱可逆拟（0，r）阶存贮线性有限自动机M1。