论文部分内容阅读
已知延迟τ<,0>步弱可逆线性有限自动机M<,0>和延尺τ<,1>步弱可逆非线性有限自动机M<,1>的复合M=C(M<,1>,M<,0>)是延迟τ=τ<,0>+τ<,1>步弱可逆有限自动机。该文证明了对某些M<,1>,由=C(M<,1>,M<,0>)的长τ+1位输出及初态,可把第一位输入决定出来。