状态机的若干代数性子.pdf

目 录 第一部分 中文摘要··································Ⅰ 英文摘要··································Ⅴ ········1 第二部分 第 1 章 引言····················· §1.1 自动机的研究与发展······························1 §1.2 状态机的研究背景及基本概念······················1 2 §1.3 范畴论的基本概念································ §1.4 元胞自动机的研究背景及定义······················3 第 2 章 完全状态机范畴的性质·············5 §2.1 完全状态机范畴的定义和基本性质··················5 §2.2 完全状态机范畴的同态基本定理····················7 ···········11 §2.3 完全状态机范畴的直和与直积··········· §2.4 完全状态机范畴中对象的分解······················14 第 3 章 有限交换环上的线性元胞自动机····1 7 §3.1 齐次线性元胞自动机的定义及矩阵表示··············17 §3.2 齐次线性元胞自动机的群性质和演化性质············19 §3.3 有限个齐次线性元胞自动机的直积和有向图的直积····23 ·28 §3.4 非齐次线性元胞自动机的定义和群性质 ············ 第三部分 参考文献···································31 致谢·······································33 状态机的若干代数性质 2001 级基础数学专业代数及其应用方向 研究生 林 莉 第一部分 中文摘要 自动机就是自动化系统的模型, 它作为一种有效的形式化工具无论是在理论还是在实 践中都有着重要的作用. 自动机理论主要研究离散数字系统的功能、结构及两者关系, 旨在自 动机的分析与综合问题. 随着微电子及信息等科学技术的迅猛发展, 自动机理论已逐步向不 同领域渗透, 成为许多学科的重要理论和应用基础,状态机是指无输出的有限自动机. 状态 机理论是有限自动机理论的一个研究方向. 许多的国内外学者借助不同的数学工具如微分 方程、泛函分析、代数及概率论等对其进行讨论, 促进了自动机理论的发展. 本论文以代数为工具对状态机理论进行研究, 主要工作包括两个: 一个是使用范畴论 的方法, 对固定输入集的状态机定义一个范畴, 讨论它的性质; 另一个是用矩阵代数的知识 来刻画有限交换环上的线性元胞自动机, 借此来分析其演化结构. 第二部分是本文的主要结果, 共分成 3 章 第 1 章是引言, 简单介绍了自动机在计