循环有限自动机和有限自动机路代数.pdf

循环有限自动机和有限自动机的路代数 研究生：黄飞丹 导师：邓培民 教授 专业：应用数学 方向：代数及其应用 年级：2005 摘 要 自动机理论是研究离散数字系统的功能、结构及两者关系的数学理论．它旨在研究自 动机的分析与综合问题．有限自动机是自动机理论的一个分支，随着数字计算机，数字通 信和自动化等科学技术的出现和发展，自动机理论在理论和实践中发挥着越来越重要的作 用． 本文讨论循环有限自动机的（弱）可逆性及分解；以代数为工具，对循环有限自动机 的代数性质进行研究；并讨论有限自动机的路代数的代数性质与有限自动机性质的关系． 本文分为五部分，前四部分中每个部分为一章，最后部分为结束语. 第一章为引言．这部分简单介绍了有限自动机的应用，阐述了本文的思路和主要内容 并对有限自动机的基本概念和记号做了介绍． 第二章讨论循环有限自动机的（弱）可逆性及分解．主要结果有： 定理 2.1.1 设M =X , Y, S ,δ,