有穷自动机相关论文
针对车间MDC系统和MES系统在获取制品信息时存在的数据缺失以及不准确、不及时的问题,提出了一种基于物联网的数控机床零件识别系......
"不确定有穷自动机NFA(即Non-FiniteAutomat),先转化为确定有穷自动机FA(即FiniteAutomat),再转化为规范有穷自动机GFA(即GageFin......
本文给出了基于量子逻辑的确定型正则语言的定义,证明了其在正则运算下是封闭的;并给出了基于量子逻辑的确定型正则语言的代数刻画......
本文提出了一种新的有穷自动机理论,分析在电子商务的实际应用中交易协议是否满足支付过程中的公平性。文章证明了ISI支付协议不满......
随着人类对通信服务需求的不断提高,3G网络飞速发展,其提供的服务也越来越受到人们的欢迎,在人类的日常生活当中它无处不在。TD-SC......
当今时代已进入互联网络的时代,网络的飞速发展给社会带来了巨大的变革,电子商务以及电子政务的蓬勃发展应用就是一个典型的例子.......
随着计算机和网络技术的快速发展,网络安全问题日益突出。由于防火墙只是一种被动防御性的网络安全工具,不能满足如今复杂多变的网络......
近些年来互联网发生了巨大变化,各种新型网络应用不断涌现。识别网络中具体运行着那些网络应用是网络管理,网络维护,网络安全的前......
随着人工智能在近几年的快速发展,人机交互成为计算机领域一个热门的研究方向。人机交互一方面要解决准确识别与快速回应的问题,另......
Android操作系统在当今的市场上有着很高的占有率,用户对于Android手机的使用量已经越来越大。但是,Android手机上的恶意App的数量......
传输层是整个计算机网络协议层次结构的核心,其任务是从源端机到目标机提供可靠的数据传输,并使之与具体的网络无关。该文利用有穷......
定义了起止自动机,给出了其构造算法;并给出了使用起止自动机进行条码码制综合判定的CD算法。该算法是多码制环境下实现快速码制判定的......
给出了直觉模糊有穷自动机(IFFA)前向互模拟关系和后向互模拟关系的定义,证明了IFFA和根据某个前向或后向互模拟关系得到的商IFFA等......
本文把确定的有穷状态自动机理论和非确定的有穷状态自动机理论用于汉字信息输入处理的研究,引进了确定的汉字有穷自动机和非确定......
电子计算机应用已深入到人类活动的各个领域。虽然其应用方式不尽相同,但归根结底少不了“计算”。如所周知,“计算”这概念是先......
计算机科学及相关的物理学领域、电子和材料科学的发展,极大的推动了计算机领域基础构件的日新月异,如芯片、高速网络和强大的基础应......
网页裁剪工具是企业信息门户(EnterpriseInformationPortal,简称EIP)中常用的信息资源获取工具,应用于企业信息门户(EIP)建设中,具有......
DNA计算属于生物化学,数学以及计算机等学科的一个交叉领域,其研究的内容涉及到数学,医学,计算机等各个领域。自从Adleman教授开创......
本文对自动机理论的研究主要是两个方面:自动机的极小化和极小化的时间复杂性。在自动机的状态集合上定义等价关系,引入等价类,将......
获得未知时序电路的内部状态转移关系是逆向分析不明时序芯片的核心模块,对时序机的内部状态转移关系展开研究.在此基础上描述的压......
提出一种扩展的有穷自动机模型,并结合卿-周逻辑给出一种新的电子商务协议形式化分析方法,用于分析电子商务协议的可追究性、公平......
本文通过讨论多媒体演示程序的分类和特点,重点阐述了命令分析器在计算机技术和自动控制技术中的重要性和实用性;引入了完备自动机......
(n,k)CRC码是通信和计算机常用编码.通过讨论并导出(n,k)CRC码布尔矩阵的一些代数性质,其中一些性质的推导要直接使用(n,k)CRC码的......
介绍了Thompson算法的基本思想,提出一种利用算符优先关系表来实现Thompson算法的方法,以实现正规式到有穷自动机的转换.描述了算......
期刊
从实用角度简要介绍正则表达式这一应用于文本解析的重要工具,它是文本处理中最为常用的利器.相信掌握这一技术必定会为我们的工作......
获得未知时序电路的内部状态转移关系是逆向分析不明时序芯片的核心模块,对时序机的内部状态转移关系展开研究.在此基础上描述的压......
引入了单体二阶格值逻辑,进而给出了基于格值逻辑的有穷自动机识别语言的逻辑描述,证明了格值逻辑意义下的Buchi-Elgot基本定理.通......
为了探讨格值模糊自动机等价的条件,采用对偏序格半群加以限制的方法,将格值模糊有限自动机划分为确定的、序列型的、无歧义的、有限......
讨论了一类有穷自动机与形式语言二者之间的关系,给出了一类语言与对应的自动机(包括确定型的有穷自动机与不确定型的有穷自动机)......
尽管邻接矩阵是有穷自动机的一种常用存储方法,但是,邻接矩阵并不适合存储所有类型的有穷自动机.原因是两个状态间可能有两条以上......
提出一种高效海量字符串集合的模式匹配算法。给出了字符串集合模式匹配的定义,模式的预处理,字符串集合的存储结构和匹配算法,并分析......
软件加密技术是实现软件产品版权保护的有效手段之一。加密软件加密强度的高低主要取决于算法安全、安全源安全和接口安全等三个方......
利用有穷自动机理论对"企业车辆管理"的生命周期状态转化进行了形式化描述.通过分析车辆管理的流程,得到了车辆管理所涉及的各项业务......
介绍了Thompson算法的基本思想,提出一种利用算符优先关系表来实现Thompson算法的方法,以实现正规式到有穷自动机的转换.描述了算法的......
程序有穷状态验证方法是介于程序验证和程序测试之间的一种方法,一方面它如同程序验证一样可以证明某程序具有某些要求的性质,或找出......
<正> 《程序设计语言编译原理》给出了确定有穷自动机(以下简称为DFA)最小化的算法.步骤1 构造DFA M 状态集S的分划Ⅱ.该分划是由......
有穷自动机是一种关于系统状态变迁与时间关系的数学模型,20世纪40年代和50年代分别由McCulloch、Pitts和Moore等建立了自动机模型,......
利用有穷自动机理论研究了高速公路收费站的收费系统.首先分析了现行的自动收费站系统中的不足之处,画出了相应的自动机状态转移图......
该文引入了单体二阶Lukasiewicz逻辑,进而给出了模糊有穷自动机识别语言的逻辑描述,证明了多值逻辑意义下的Buchi与Elgot基本定理.通......
摘要:主要介绍了有穷自动机的基础知识,研究了有穷自动机的等价性,并在确定型有穷自动机的状态集上引入等价关系,给出了自动机的最......
软件加密技术是软件版权保护的有效手段之一,但以往这方面的研究和公开的文献大多数是从某种具体技术的实现上着手的,缺乏系统的观念......
提出了一种基于有穷自动机的解决哈密顿路径问题的DNA算法,将有穷自动机的状态用含有DNA限制性内切酶的识别位点的DNA双链分子来编......
针对模糊识别器与有穷自动机的关系,证明了当输入字母表相同时,任给一个模糊识别器,必然存在一个有穷自动机,使得模糊识别器的行为与有......
利用多态自动机和有穷自动机的关系,根据多态自动机的学习算法,给出了EXACT学习模型下,确定的有穷自动机的学习算法,并对算法复杂......
入侵容忍技术是继防火墙、存取控制、入侵检测技术之后的网络信息安全技术。当一个网络系统遭受非法入侵后,入侵容忍系统仍能厦时自......