概率自动机的等价性

本文研究概率自动机初始等价和等价之间的关系,基矩阵的性质,某些等价类的结构,并得到判定极限最小自动机的一个充分条件。     

概率的完全可加性与连续性的等价性

从有限到无限是贯穿高等数学的基本思想，而连续性在其中占有相当重要的地位，概率论这门学科已遍及各个领域、是解决大多数问题的基本工具，应用广泛，十分重要。本文就概率的连续性与可加性作一点讨论。１　概率为有限可加加连续等价于可列可加定义１　若Ａｉ∈Ｆ，ＡｉＡｉ＋１，（ｉ∈Ｎ＼｛０｝），令Ａ＝∩∞ｉ＝１Ａｉ且Ｐ（Ａ）＝Ｐ（ｌｉｍｎ∞Ａｎ）＝ｌｉｍｎ∞Ｐ（Ａｎ），则说概率是上连续的。定义２　若Ａｉ∈Ｆ，ＡｉＡｉ＋１，（ｉ∈Ｎ＼｛０｝），令Ａ＝∪∞ｉ＝１Ａｉ且Ｐ（Ａ）＝Ｐ（ｌｉｍｎ∞Ａｎ）＝ｌｉｍ…     

两类Fuzzy自动机的等价性

通过对Fuzzy有限状态自动机和Fuzzy有限自动机的结构、定义及性质的研究,得到了二者之间的一种重要关系——等价关系。     

连接型自动机的极小化及其复杂性

通过定义确定型有穷自动机在状态集上的等价关系,可以构造一类非确定型有穷自动机在状态集上的等价关系,利用这个等价关系可以对这类非确定型有穷自动机进行极小化。     

一种非确定型有穷自动机的极小化方法

自动机状态极小化是寻求状态数较少的自动机,使其与原自动机接受相同的语言．确定型有穷状态自动机（DFA）极小化问题在平方时间内可解,通过状态集上引入等价关系导出的商自动机即为接受相同正则语言的极小化自动机．而非确定型有穷状态自动机（NFA）极小化问题尚未找到有效算法．尽管NFA可以转化为DFA且接受的语言不变,但可能会出现状态数指数级增加．从语言B可以构造一个接受自己的子语言自动机,同态压缩映射子语言自动机为最终系统,从而为接受语言B的极小化自动机．     

非确定型有穷自动机的极小化

利用自动机状态集上的等价关系对自动机的状态集进行极小化, 从而得到与原自动机功能等价的极小化自动机. 通过两台确定型有穷自动机（DFA）的连接, 构造一台非确定型有穷自动机（NFA）. 利用这两台确定型有穷自动机状态集上的等价关系, 可以构造这台非确定型有穷自动机状态集上的等价关系, 从而对这台非确定型有穷自动机进行极小化. 结果表明这台非确定型有穷自动机的极小化自动机的状态复杂 度, 不大于对那两台确定型有穷自动机的极小化自动机进行连接得到的非确定型有穷自动机的状态复杂度; 并且自动机在等价关系基础上进行极小化时不改变识别语言.     

关于概率自动机的分解

在[1]中给出了有穷状态概率自动机A(BA A)可以分解为随机编码源T与确定型自动机B(DA B)的顺次连结,并用例子说明了分解的算法。该结论及算法是建立在随机向量的蕴含与随机矩陈凸分解的基础上。由于BA A的转移矩阵A(y/x)一般不是随机矩阵,因而[1]中首先由A(y/x)构造出相应的随机矩阵A(x)与C(x)才能进行分解。本文是在推广了[1]中有关概念及结论的基础上给出了一个不依赖于随机矩阵的分解方法。本文所引用的符号与概念可参考[1]与[2]。     

有穷自动机中的等价性与等价归并算法

通过引入等价性原则,简化了对正则语言判定的步骤,并在有限自动机的状态集上引入等价关系,利用等价归并算法将给定的自动机中的等价状态进行归并,生成与其等价的最小自动机。     

对DFA最小化算法等价性问题的探讨与改进

有穷自动机极小化问题的研究,在程序测试、模糊系统、概率自动机等方面具有重要意义。利用自动机状态集上的等价关系对自动机的状态集极小化,从而得到与原自动机功能等价的极小化自动机,该内容是词法分析的重点。很多编译原理书籍介绍的DFA最小化算法是＂分割法＂,但该算法存在一定的问题,本文从对一些特殊的DFA的处理入手,分析＂分割法＂算法在等价原则方面的漏洞,并提出了对最小化问题的改进算法。     

事件等价性与概率教学

研究了随机事件的等价性，并指出了在教学中的应用．     

关于概率自动机分解的一种算法

本文就[1]中概率自动机分解问题给出一个算法,它优于[1]中的算法,更具有合理性。     

概率内积空间的拓扑结构

文献[1]所给出的概率内积空间上的拓扑结构的性质要依赖于一个较强的条件(PI—6),本文减弱了这个条件并使其拓扑结构仍具有较好的性质。     

有限自动机的变换半群和它识别的信息

在离散时序系统的分析和控制中,要想知道这个系统的性质,即知道对这个系统提供什么信息(输入)才能使它达到所期望的状态或产生所需要的输出,这个问题涉及到有限自动机的识别问题。本文提出了使用(0,1)—矩阵去计算有限自动机的变换半群和它识别的信息,并且分析了各种特殊(0,1)—矩阵所代表的信息。     

有限自动机的积可逆性讨论

主要讨论了有限自动机运算后的可逆情况,给出了有限自动机串、并联后为可逆(弱可逆,延迟有限步(弱)可逆)的若干条件,最后对有限自动机的化合运算的可逆性进行了特别讨论．     

有限自动机化合的一些结果

主要讨论了有限自动机的化合与化合前两个有限自动机的弱可逆性,严格延迟步数,弱逆以及线性的一些关系．     

维数公式与子空间直和的等价条件

论述了维数公式与线性空间的子空间直和的等价条件     

Lebesgue积分的各种等价定义

本文收集了国内外有关著作中Lebesguc积分的九种定义方式,并证明了它们彼此的等价性。     

关于Moore自动机可逆性的一些结果

主要讨论了Moore自动机(弱)可逆的一些性质，并给出了当|S|=|Y|时，Moore自动机(弱)可逆的充要条件。     

含参数的算符一次量子化理论的等价性

在保持坐标和动量算符所满足的对易关系不变的情况下，该文讨论了算符所能取的一般形式，它们依赖于参数，之后直接证明了利用任何一组这种含参算符进行一次量子化所得到的非相对论性量子理论都是等价的，因而在实际应用中为了方便起见，针对不同的体系可以采用不同的含参算符进行量子化。     

从等效观点论证置换定理

在电路分析中,置换定理是一个应用广泛的重要定理,该定理在分析复杂电路过程中具有独特的作用。教材在证明该定理时,一般都是从解的存在性与唯一性加以证明。本文从另一角度,利用等效的概念论证了置换定理的正确性,论证过程具有简单,明了,易懂的特点。