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

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

幺半环上一类有限状态自动机的约简性

对幺半环上确定型有限状态自动机及其约简性进行定义,得出两个状态是否可分的判定方法,证明了幺半环上任意一个有限状态自动机都与一个约简的自动机等价,并给出了一个具体可行的算法,最后举例验证了这一结果.