Abstract
LetR be a finite commutative ring with identity and τ be a nonnegative integer. In studying linear finite automata, one of the basic problems is how to characterize the class of rings which have the property that every (weakly) invertible linear finite automaton ℳ with delay τ over R has a linear finite automaton ℳ′ over R which is a (weak) inverse with delay τ of ℳ. The rings and linear finite automata are studied by means of modules and it is proved that *-rings are equivalent to self-injective rings, and the unsolved problem (for τ=0) is solved. Moreover, a further problem of how to characterize the class of rings which have the property that every invertible with delay τ linear finite automaton ℳ overR has a linear finite automaton ℳ′ over R which is an inverse with delay τ′ for some τ′⩾τ is studied and solved.
Similar content being viewed by others
References
Tao Renji, Invertibility of linear finite automata over a ring,Lecture Notes in Computer Science, 1988, 317:489.
Lu Shuzhi, Some results on invertibility of linear finite automata over a ring,Chinese Journal of Computer (in Chinese), 1991, 8: 570.
McDonald, B. R. M.,Finite Rings with Identity, New York: Marcel Dekker Inc., 1974.
Dai, Z. D., Ye, D. F., Weak invertibility of linear finite automata over rings—Classification and enumeration,Chinese Science Bulletin, 1996, 41(3): 190.
Dai, Z. D., Ye, D. F., Zai, Q. B. et al., Classification and enumeration of matched free response matrices of linear finite automata,Acta Mathematics Sinica, New Series, 1997, 13(1): 133.
Wang Hao, Studies on invertibility of automata, Thesis for Doctor degree, Institute of Software, Chinese Academy of Science, 1996, 5.
McDonald, B. R. M.,Linear Algebra over Commutative Rings, New York: Marcel Dekker Inc., 1984.
Author information
Authors and Affiliations
Additional information
Project supported by the National Natural Science Foundation of China(Grant No. 69773015).
Rights and permissions
About this article
Cite this article
Ou, H., Dai, Z. Self-injective rings and linear (weak) inverses of linear finite automata over rings. Sci. China Ser. A-Math. 42, 140–146 (1999). https://doi.org/10.1007/BF02876565
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02876565