由单个状态生成的有限自动机的一些性质

本文研究了由单个状态生成的有限自动机的弱可逆性及分解,得出了由单个状态生成的有限自动机弱可逆的充分必要条件,证明了由单个状态生成的延迟τ步弱可逆有限自动机M能分解为一个延迟0步弱可逆有限自动机和一个τ阶延迟元的充要条件是M的生成子的τ长输出权为1.     

有限识别器的最小化方法

给出确定型有限识别器最小化的一种方法,并给出一类非确定型有限识别器最小化的方法。     

量子自动机的交换性

定义了量子自动机及广义量子自动机的交换性,并提出了（广义）量子自动机所识别语言的交换性。利用半群及矩阵研究（广义）量子自动机的交换性,得出了（广义）量子自动机交换性的几个等价刻画。研究了（广义）量子自动机的交换性与其所识别语言的交换性的关系,证明了交换的（广义）量子自动机所识别的语言也是交换的。此外,讨论了（广义）量子自动机的广义直积、全直积、限制直积、级联积和圈积等积的交换性,得出了一些积的交换性的充分条件和必要条件。     

有限自动机的同态

循环有限自动机是由单个状态生成的有限自动机,任何有限自动机都是有限个循环有限自动机的并.为了进一步探讨循环有限自动机的性质和揭示一般有限自动机和循环有限自动机的关系,本文利用代数的方法,讨论了循环有限自动机的自同态,得出了计算循环有限自动机自同态半群和自同构群的算法;并讨论了一般有限自动机的同态,证明了每一个有限自动机都是有限个循环有限自动机的直和的同态象.     

一种求解数值积分问题的差分进化算法

针对复杂函数的数值积分求解问题,提出一种基于不等距点分割的差分进化算法.该算法在积分区域中选取一些个体,并利用差分进化算法对其进行优化,通过将函数变化较快的区间分得较细,函数变化较慢的区间分得较粗,得到较准确的数值积分.数值计算结果证明,该算法可以快速计算通常意义下任意函数的定积分,并能计算振荡函数的积分.     

循环自动机的等价性

主要讨论了两个循环有限自动机的等价性与循环有限自动机的生成子之间的关系,在某些条件下给出了两个循环有限自动机等价的充分必要条件。     

两类模糊有限状态机积的交换性

利用代数工具矩阵、半群等对两类模糊有限状态机的交换性作了进一步的研究.首先给出了模糊有限状态机是可交换的几个等价刻画,即模糊有限状态机交换与其状态转移矩阵关于模糊矩阵乘法交换等价,与其输入集上字符串关于同余关系构成的乘法半群交换等价,并讨论了模糊有限状态机的直积、级联积、圈积以及和的交换性.其次提出了Mealy-型模糊有限状态机是可交换的概念,同时在新的概念下详细地研究了Mealy-型模糊有限状态机的直积、级联积、圈积以及和、商的交换性.得到了两个(Mealy-型)模糊有限状态机的完全直积、和交换的充要条件;得到两个(Mealy-型)模糊有限状态机的圈积、级联积交换的一个充分条件;证明了商Mealy-型模糊有限状态机保持原Mealy-型模糊有限状态机的交换性.最后给出判别模糊有限状态机交换性的算法.