存贮与拟存贮有限自动机的讨论

摘要

自动机理论是在开关网络理论和数理逻辑中图灵机理论的基础上形成的一个数学分支学科．随着近代科技的发展，自动机理论成为控制理论，对象程序测试神经网络，保密学众多学科的重要研究工具，因此研究有限自动机理论是有着重要意义的． 本文从存贮有限自动机出发对其进行研究，并在文献[3]的基础上进一步讨论了关于等价嵌入与存贮有限自动机的问题，以及利用线性有限自动机的可逆性研究域上多项式矩阵的可逆性．另外本文还着重讨论了拟存贮有限自动机的可逆性．