【摘 要】
：
本文研究了几类自动机的性质.在第一章里,介绍了基本概念.在第二章中,给出了非确定型与确定型初始化格值有限自动机的定义.根据这些定义,讨论了这两类自动机之间的关系,并得
论文部分内容阅读
本文研究了几类自动机的性质.在第一章里,介绍了基本概念.在第二章中,给出了非确定型与确定型初始化格值有限自动机的定义.根据这些定义,讨论了这两类自动机之间的关系,并得到这几类初始化格值有限自动机的等价性.进而,给出了非确定型初始化格值有限自动机与确定型初始化格值有限自动机等价的充分必要条件.在第三章中,基于格半群上研究Mizumoto确定型格值有限自动机(记为Mizumoto DFA),给出了状态等价关系和自动机等价关系,并表明了一个Mizumoto DFA有一个与之等价的最小化Mizumoto DFA.从这些等价关系,得到了Mizumoto DFA的最小化算法.在本文的第四章里,给出了模糊Moore型自动机可逆、可达和完备等的定义,讨论了其相关性质.进而得到这些性质之间的关系,并研究了模糊Moore型自动机的最小化.最后,系统地给出了关于它们的一些重要结果.
其他文献
本文研究复杂动态网络的同步与近似同步及判定问题.动态网络在物理、数学、生物、信息、管理、甚至艺术领域中都有着广泛的应用,对其中的完全同步和近似同步现象的深入研究和
无线传感器网络是由大量成本较低,能量较少的传感器构成的。传感器最重要的任务是监控一定区域,采集信息,并把信息传输到基站。在真实环境中存在某些位置不能放置中继器。这
本文主要探究了Brunn-Minkowski理论中的一些不等式，即主要研究了关于Lp混合体积、对偶Lp混合体积、仿射表面积及相关的几何不等式．运用Holder不等式、Minkowski不等式等不等式
近年来，均衡问题和变分不等式问题都得到了广泛研宄.很多学者从不同形式对这两类问题进行了推广，本文主要研宄了广义均衡问题和混合变分不等式问题。 本文运用交替方向法求
对于交换环上矩阵的广义逆，特别是矩阵正则性(对于任一矩阵A，若存在矩阵X，使得AXA=A，则称A具有正则性)条件的研究在文献中有较全面的叙述，但对于非交换环上矩阵广义逆的研究所见不
本文共分三章，主要讨论了θ-型Calderón-Zygmund奇异积分算子的多线性交换子和具有齐性核的奇异积分算子的多线性交换子的加权估计.第一章主要介绍了θ-型Calderón-Zygmund
上世纪20年代,芬兰数学家R.Nevanlinna建立了该世纪最为重要的数学理论之一,即复平面C上的亚纯函数值分布理论,通常因纪念他而被称为Nevanlinna理论(十余年后L.Ahlfors建立了