有限自动机在自动控制软件设计中的应用

简述了有限自动机的基本概念，提出了应用有限自动机进行软件设计的处理思想，并给出了实现方法。有限自动机在软件设计中以及应用过程中充分考虑了软件设计的规律性，提高了软件设计的工作效率。     

元胞自动机与计算机模拟

元胞自动机是时间和空间都离散、物理参量只取有限数值集的物理系统的理想化模型，在该系统中每个元胞都具有其内在状态，并由有限数量的信息位组成：近年来，元胞自动机模型应用于各个领域，特别在计算机模拟中取得了较大进展。本文将从介绍元胞自动机理论入手，探讨元胞自动机技术应用于计算机模拟。     

有限自动机的正则表达式的范式

强调了用正则表达式表示一个有限自动机的作用,给出了有限自动机的状态的正则表达式的范式,并证明了这种范式的存在性和唯一性,文中还给出了判定一个字符串是否在范式所表示的语言中的算法,以及利用正则表达式的范式求最小自动机的算法。     

基于有限状态自动机的黑白数字图像表示方法

提出了一种用有限状态自动机（FA）来描述黑白数字图像的方法。对一幅给定的黑白数字图像,可以用正则语言来表示它的像素地址,反之,任一正则语言也可以表示为一幅黑白数字图像,即正则语言与黑白数字图像可以相互转化。而由自动机理论原理知,正则语言可以用有限状态自动机等价描述,从而得到用有限状态自动机来描述黑白数字图像的方法。这样就建立了图像与自动机理论这两门学科之间的联系,也为用自动机进行图像压缩奠定了基础。     

NFA→FA→GFA自动机转换算法

研究了不确定有穷自动机NFA、确定有穷自动机FA、规范有穷自动机GFA的基本关系与等价转换;给出了"NFA→FA"等价转换算法与"FA→GFA"等价转换算法,构造性证明了从FA到GFA的存在性,提供了自动机极小化算法的研究基础。     

元胞自动机与计算机模拟

元胞自动机是时间和空间都离散、物理参量只取有限数值集的物理系统的理想化模型,在该系统中每个元胞都具有其内在状态,并由有限数量的信息位组成。近年来,元胞自动机模型应用于各个领域,特别在计算机模拟中取得了较大进展。本文将从介绍元胞自动机理论入手,探讨元胞自动机技术应用于计算机模拟。     

基于有限状态自动机提取不规范表结构Web信息

大量的不规范表结构信息是当前Web信息提取所必须解决的问题.在现有方法基础上,给出了归纳学习相邻属性间上下文规则集算法,提出了以Web页为粒度的属性转换机和有限状态自动机包装器概念,最后介绍了采用有限状态自动机包装器提取不规范表结构Web信息的算法.     

一类有穷自动机的设计

讨论了一类有穷自动机与形式语言二者之间的关系,给出了一类语言与对应的自动机（包括确定型的有穷自动机与不确定型的有穷自动机）二者之问相互转换的方法,最后指出了这个方法可以适用于类似问题的求解。     

有限自动机在BBS信息监测系统中的运用

形式语言与自动机理论是为了将自然语言转换成为计算机能够识别、处理的语言而建立的理论体系,利用有限自动机可以对文本信息进行智能化监测,对文本的词法分析可以得到系统监测所需要的信息。该文对有限自动机在BBS信息监测系统中的运用进行了详细阐述;描述了系统的具体实现以及软件界面;对信息监测的三种方式终端监测、运行监测、备份监测的优劣进行了分析,并提出了具体实施的办法。     

构造正则表达式的Follow自动机并行算法研究

给出了一种从正则表达式到Follow自动机的并行化算法. 先构造正则表达式的Thompson自动机, 再对其消除ξ边,实现Thompson自动机到Glushkov自动机的转换, 然后对Glushkov自动机的等价状态进行合并,从而得到一种规模更小的有限自动机,即Follow自动机,最后以实例模拟其并行转化过程.     

多态自动机在字符串搜索及统计时的应用

多态自动机较之有穷自动机有更强的计算功能和对算法的描述功能,所以在计算理论和学习理论中有相当地位.本文首先简要地介绍了多态自动机,然后利用多态自动机的计算功能给出了一种搜索算法,此算法可以完成字符串的搜索和统计功能.文章对此算法的复杂度进行了分析,该算法的复杂度是多项式的,并且对此算法添加一些辅助部分也可以完成搜索网络资源的功能.此算法在计算机上也很容易实现.     

一种基于元胞自动机的安全多重图像水印算法

提出一种多重图像水印算法,利用元胞自动机和元胞自动机变换丰富复杂的性质增强水印安全．将图像分割成不重叠的子块,由混沌序号序列决定一个子块中将嵌入哪个图像水印,通过水印私钥对水印进行置乱加密和对子块进行二维元胞自动机变换,然后在低频系数中量化嵌入加密水印．实验结果表明,提出的算法有很好的安全性、不可见性和鲁棒性,多个水印的嵌入和提取互不干扰．     

A necessary condition on invertibility of finite automata

This paper gives a necessary condition for a kind of weakly invertible, invertible, weak inverse or inverse finite automata by linear RaRb transformation sequence. For such finite automata the existence of terminating RaRb transformation sequence is also established.     

元胞自动机模拟在市场营销中的应用

元胞自动机(CellularAutomata,CA)模拟技术为探索市场等复杂的经济和社会系统开创了新途径.本文运用CA模拟方法,研究具有消费行为依赖性的网络扩展市场的动力学演变行为,为新产品及新技术的扩散理论提供了微观经济学的机制.     

基于自动机的用户名合法性检测方法

针对现有方法检测用户名合法性效率较低的问题,提出了一种基于自动机的用户名合法性检测模型.该模型利用映射函数对用户名字符串进行映射,以此实现由字符串向映射串的转化; 利用构造的计数自动机实现对映射串的合法性检测.研究表明,该模型具有检测效率高、性能稳定等优点,因此该方法可应用于用户名合法性的检测中.     

元胞自动机模拟及其在金属材料设计中的应用

元胞自动机模拟方法由于其结构简单,易于并行运算而在工程领域有着广泛的应用。本文介绍了元胞自动机的产生和发展,以及其划分,基本原理,模型建立的步骤。综述了元胞自动机方法在材料设计中的应用,包括再结晶方面和相变方面。     

基于自动机理论的密码匹配方法

针对用户安全登录问题,提出了一种基于自动机的密码匹配模型.首先,对于用户任意输入的密码进行同态映射加密; 其次,构造出可接受加密密码的自动机——状态数目可变自动机(VNS - DFA),该自动机不仅能够匹配加密密码,同时还可以输出加密密码的同态原像以及匹配成功的次数; 最后,在状态数目可变的自动机上对用户输入的密码进行实验验证表明,用户建立的密码经过同态映射后可全部被该自动机接受,且该自动机的时间复杂度优于传统的DFA以及改进的DFA.     

自动机及形式语言理论在网络分析中的应用

文中应用自动机及形式语言理论对网络流进行了描述,并给出了计算网络最短路径的两种方法。     

基于一维五邻居混沌CA的光学流密码系统

根据一维五邻居混沌细胞自动机(CA)特性及其进化序列的随机性统计测试结果，提出一种基于一维五邻居CA光学流加密方法。由于CA规则化的阵列结构和级连特性，适合于起大规模集成电路(VLSI)和光学系统实现，相应给出一种光学硬件实现方案。一维五邻居混沌CA比一维三邻居CA具有更复杂的动力学行为，应用多邻居CA进行加密有更强抵御攻击能力。模拟分析显示这种基于一维五邻居CA的加密算法具有结构简单、运算速度快等优点，是一种理想的并行加密方法。     

基于一维五邻居混沌CA的光学流密码系统

根据一维五邻居混沌细胞自动机(CA)特性及其进化序列的随机性统计测试结果,提出一种基于一维五邻居 CA 光学流加密方法.由于 CA 规则化的阵列结构和级连特性,适合于超大规模集成电路(VLSI)和光学系统实现,相应给出一种光学硬件实现方案.一维五邻居混沌 CA 比一维三邻居 CA 具有更复杂的动力学行为,应用多邻居 CA 进行加密有更强抵御攻击能力.模拟分析显示这种基于一维五邻居 CA 的加密算法具有结构简单、运算速度快等优点,是一种理想的并行加密方法.