概率有限自动机代数性质.pdfVIP

概率有限自动机的代数性质 研究生：吴宗显 导师：易忠 教授 专业：应用数学专业 研究方向：代数及其应用方向 年级：2005 级 摘要 自动机理论是研究离散型数字系统的功能、结构及两者关系的数学理论,是对许多具 体的离散数字系统的抽象;自动机理论是在开关网络理论和数理逻辑中图灵机理论的基础 上发展起来的一门学科. 概率有限自动机是自动机理论的一个分支,与非概率有限自动机 不同之处是概率有限自动机的动作是随机的. 概率有限自动机的主要研究内容与一般的 自动机理论相平行,有概率图灵机、概率时序机、概率识别器等方面的研究工作.这些工作 一方面是推广自动机已有的结果;另一方面也提出不少新的问题,丰富了自动机理论的内 容. 本文从代数的角度考虑,讨论概率有限自动机的代数结构问题,讨论了概率有限自动 机的商自动机与概率有限自动机同态之间的关系,证明了同态分解定理,得到了一种概率 有限自动机的分解;深入探讨了它们几种积之间的相互关系. 本文分为五个部分,前面四个部分中每一个部分为一章,最后部分为结束语. 第一章为引言.这部分简单介绍了概率有限自动机和确定有限自动机的基本情况.阐 述了本文的思路,另外,对本文的基本概念和记号也做了介绍. 第二章讨论了概率有限自动机的商自动机和概率有限自动机同态之间的关系,主要的 结果有: 命题 2.1.4 若M X ,Q ,Y ,P 是匀概率有限自动机, M 是既约的当且仅当 Q ≤2 . 定理 2.2.1 设M =X ,Q ,Y ,P 是概率有限自动机, π ,π 是M 的有效划分,且π ≤π , 1 2 1 2 则M ≤M . π π 2 1 定理2.2.6 设M X ,Q ,Y ,P 是概率有限自动机,则在概率有限自动机同构的意义下 M 的商概率有限自动机和与M 同态的概率有限自动机一一对应. 定理2.2.7 (概率有限自动机的同态分解定理)设M X ,Q ,Y ,P ,M =X ,Q ,Y ,P , 1 1 1 2 2 2 ϕ ψ M =X ,Q ,Y ,P 是概率有限自动机，M ≤M ,M ≤M ， 是M 到M 的同态， 是M 3 3 3 2 1 3 1 1 2 1 I 到M 3 的同态，则存在M 2 到M 3 的同态θ使得ψ θϕ 的充要条件为由同态ϕ诱导出的M 1 的 有效划分π 与由同态ψ 诱导出的M 的有效划分π满足π ≤π . 1 1 1 定 理 2.2.8 设 M =X ,Q ,Y ,P , M X ,Q ,Y ,P 是 概 率 有 限 自 动 机 , 1 1 1 2 2 2 M ≤M ,ϕ : Q →Q 是M 到M 的同态, 若π {H i 1, 2,L,n }是M 的一个有效划分,则 2 1 1 2 1 2