代数规范的可计算实现

本文给出代数规范可计算实现的定义,证明了每一个可计算实现都可用特定的三元组来形式描述.在该定理的基础上,可进一步讨论可计算实现的性质.     

关于自动机与可识别语言的一个注记

讨论了语言 L A*的可识别性 ,证明了以下的结论 :若 X A*是可识别的 ,则 X的左因子集In X、右因子集 Ter X和因子集 Seg X都是可识别的 .     

一个含有不确定性语言的代数规范说明

本文定义了一个语言L,其允许表达式有负作用并对表达式序列的计算顺序不加规定,这样,在L中,同一表达式序列,因其计算顺序不同而可以有不同的结果,因而其语义模型就不是唯一的,传统的单一模型方法不适于定义L的语义,本文在极大语义的意义下,定义了L的代数规格说明并讨论其模型性质。     

模糊极小自动机与约简模糊自动机

引进了模糊极小自动机与约简模糊自动机的概念 ,讨论了模糊有理语言与二者的关系 ,得到了几个重要结论 .     

代数规范的可计算实现

本文给出代数规范可计算实现的定义,证明了每一个可计算实现都可用特定的三元组来形式描述。在该定理的基础上,可进一步讨论可计算实现的性质.     

关系网的代数规范说明

将关系网看作一个抽象数据类型,给出了其代数规范说明.这个关系网是它的代数规范说明的一个代数,代数规范说明的任一代数是一个关系网;讨论了关系网在同态下的性质,以及代数规范说明的代数与关系网模式和位置/变迁网的关系。     

偶正则表达式和双读头自动机

定义了偶正则表达式，证明了ＰＲＥ和双读头自动机的等价机，为线性语言提供了一种新的有穷表示。     

关于概率自动机的等价性与极小化问题

本文给出了两概率自动机按顺序初始等价的充要条件,证明了初始等价的概率自动机的基矩阵秩必相等及判定极限极小概率自动机的一个充要条件.同时也更正了[1]中的一个错误。     

细胞自动机与自组织花样的形成

介绍了细胞自动机的基本思想,利用随机指令序列充当“外场”,控制一维细胞自动机中运行多种演化规则,结果发现多种演化规则的运行有利稳定的本地自组织结构的形成。随时间缓慢变化的随机指令序列会造成自组织结构的逐步消亡;控制运行规则的循环序列会使本地稳定的周期模式的数目减少,显露出模式过滤效应。     

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

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

Fuzzy代数系统及其直积

给出了普通代数系在ｔ—ｎｏｒｍ下的统一Ｆｕｚｚｙ化方法，并在此基础上讨论了Ｆｕｚｚｙ代数系的直积．     

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

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

一类循环图及其代数性质

对一类循环图进行了刻划，从而讨论了它们的组合结构与代数性质。     

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

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

钟控序列和有限自动机密码的一种实现

讨论两个自治有限自动机复合的状态序列的一些数学性质.给出在微型计算机IBM-PC上有限自动机密码的一种实现及其保密性能的分析,并附有关于密文和乱数序列的均匀分布的X~2检验及密文和乱数序列中游程长的统计结果.