相伴模糊变换半群的一些性质

本文主要讨论相伴模糊变换半群的可交换性、可交换的以及完全性,进一步探讨两个相伴模糊变换半群的直积、限制直积的可交换性、可交换的、完全的性质.     

线性有限自动机的输入存贮性及其算法

讨论了线性有限自动机的输入存贮性,得到了线性有限自动机具有有限阶输入存贮的充要条件,并且给出了判断线性有限自动机有无有限阶输入存贮以及求线性有限自动机的输入存贮阶效的一些算法.     

一类线性有限自动机的线性τ-弱逆

戴宗铎等人在域F上的一元多项式环F[z]与域F上的形式幂级数环F[[z]]之间,定义了一种乘法"*",使得F[[z]]作成一个F[z]一模,利用此模研究了线性有限自动机.在此讨论了一类线性有限自动机的线性τ-弱逆,给出了这类线性有限自动机一定τ-弱可逆的充分条件、构成它的τ-弱逆线性有限自动机的充要条件以及τ-弱逆线性有限自动机自由响应模的最小维数.     

二元有限域GF（2）上友矩阵的性质

本文主要研究定义在二元有限域GF（2）上友矩阵的性质，文中采用对矩阵性质的一般研究方法，较系统地讨论了定义在二元有限域上友矩阵的行列式、可逆性、特征值、秩、对角化以及极小多项式等有关问题，并得到了一些相关结论。     

有限自动机积的初(末)态试验序列、UIO序列和同步序列

主要对积运算后有限自动机的初(末)态试验序列、U IO序列和同步序列进行了讨论,给出了积运算后的有限自动机与积运算前有限自动机的初(末)态试验序列、U IO序列和同步序列的联系,并给出了极小有限自动机的初态试验序列与U IO序列间的联系。     

连通不可约变换半群的自同构群结构

给出连通变换半群导出的变换群保持连通性的充分必要条件,证明不可约变换半群导出的变换群不可约,不可约变换半群的自同构群是本原置换群,连通变换半群的自同构群是正则置换群,连通且不可约的变换半群的自同构群是一个素数阶的循环群.     

232规则元胞自动机的稳定性

研究满足三重局部变换规则——232规则的一维有限元胞自动机分别在固定边界条件和周期边界条件下的稳定性，刻划了该类元胞自动机中不动点的个数及它们的瞬时长度．     

线性有限自动机零状态的作用

通过零状态研究了线性有限自动机的一些性质,得到了线性有限自动机弱可逆的一些结果,并给出了最小线性子有限自动机的描述,最后给出了算法实现。     

状态机的稳定状态与稳定子集

主要研究了状态机的（可）稳定状态,稳定子集与可稳定状态子集关于状态机同态、覆盖及状态机的积的性质,并讨论了只有一个输入的状态机的（可）稳定状态,稳定子集与可稳定状态子集.