有限群自动机研究及其推广.pdfVIP

有限群自动机的研究及其推广 2003 级 基础数学专业 代数及其应用方向研究生 阎航宇 导师 易忠 邓培民 摘 要 自动机理论是研究离散数字系统的功能、结构及其两者关系的数学理论.它旨在研究自 动机的分析与综合问题.随着现代科学技术的发展,尤其是计算机科学对基础理论的要求, 自 动机理论已成为许多学科的重要理论和应用基础. 本文简单介绍了国内外学者利用数学工具对群自动机理论进行研究得到的一些结果, 对有限群自动机的结构、代数性质和状态进行了研究,同时也对有限群自动机的构造和分解 进行讨论,并且对广义状态机、有限半群自动机和双有限群自动机作了简单的介绍. 本文采用了环论、模论和图论中的方法来研究有限群自动机,得到了一些结果.从整体 上来看,本文提供了进一步研究有限群自动机的一些思路. 本文内容分为三个部分,每个部分为一章. 第一章是引言.这部分简单介绍了国内外学者利用数学工具对群自动机进行研究的一 些内容,并给出了有限群自动机的基本概念和记号. 第二章是关于有限群自动机的构造和分解的研究, 同时给出了有限群自动机极小性和 忠实性的判别法则.主要结果： 定理 2.2.2 设M (Q ,G , ) 是有限群自动机, i 1,2, 且: Q G G 是映射, 满足 i i i i 2 2 1  (q , g h ) (q , g )( (q , g ), h ) ,其中q Q , g , h G ,定义 如下: 2 2 2 2 2 2 2 2 2 2 2 2 2 2   ((q , q ), g )  (q ,(q , g ))  (q , g ), (q , q ) Q Q , 1 2 2 1 1 2 2 2 2 2 1 2 1 2  则M M (Q Q ,G , ) 是有限群自动机,称M M 是M ,M 的串积. 1 2 1 2 2 1 2 1 2 定理 2.3.1 设M (Q ,G ,) 是有限群自动机, 则M 是极小的充分必要条件为若 q , q Q , q e q e , e 为G 的单位元,则q q . 1 2 1 2 1 2 定理 2.3.3 设M ( ,G ,Q ,G , ) 是双有限群自动机,则M 是极小的充分必要条件为对于 1 1 2 2 q , q Q, 若e (q e ) e (q e ), e , e 分别为G , G 的单位元,则q q . 1 2 1 1 2 1 2 2 1 2 1 2 1 2 定理 2.3.5 设M (Q ,G ,) 是有限群自动机, e 是G 的单位元,则M (Q ,G ,) 是忠实的充分 必要条件为对于g G ,若qg qe, q Q ,则g e . 定理 2.3.9 设M ( ,G ,Q ,G , ) 是双有限群自动机,则M 是忠实的充分必要条件为若 1 1 2 2 g (qg ) e (qe ), q Q ,对于g G ,