摘要
本文证明了有单位元的有限交换环R上任何延迟t步(弱)可逆线性有限自动机皆有延迟t步线性(弱)逆的充分必要条件是环R满足条件: x(Ax=0→bx=0)→y(b=yA)我们还证明了对任何有单有限交换环R,R上输入、输出维数相同的延迟t步(弱)可逆线性有限自动机具有延迟t步线性(弱)逆.
Over a finite commutative ring with identity, a further investigation to the invertibility of linear finite automata is given. We proved that ev.ery t-(weakly) invertible linear finite automata M over R has a t-(weak) linear inverse if and only if R satisfies the condition:We got another result for l = m that for any t-(weakly) invertible linear finite automaton M over R, there exists a linear finite automaton M' over R which is a(n) (weakly) inverse of M.
出处
《计算机学报》
EI
CSCD
北大核心
1991年第8期570-578,共9页
Chinese Journal of Computers
关键词
有限自动机
可逆性
有限环
Finite automata, invertibility, finite ring.
