下推自动机相关论文
固件作为一种固化在ROM中的特殊软件程序,主要负责加电自检,硬件设备初始化,引导操作系统等基础功能,运行级别和安全等级较高,亟需......
针对粗粒度锁会严重影响并发程序的可伸缩性问题,提出一种面向细粒度锁的自动重构方法.该方法借助访问者模式分析、别名分析、负面......
析取语言●王水汀一、引言语言学家Ｃｈｏｍｓｋｙ把形式语言分为０、１、２、３型语言四个层次，０型语言类恰好等同于计算机的理论模型Ｔｕｒｉｎｇ机所识别的语言类，而１、......
传感器数据处理、金融证券管理、Internet流量监控、Web使用日志及电话呼叫记录的在线分析等新型应用领域对数据的管理与分析提出......
当今自动机理论及其相关的形式语言的理论得到了高度的发展，由其衍生出的知识也层出不穷。但经典自动机和语言理论也存在某方面的不......
随着互联网技术的快速发展,越来越多的领域以流式数据进行信息传输,如股票市场和社交媒体等实时系统的数据就是实时到来的,并且对......
锁是一种常用的同步机制,用于保护程序状态和数据的正确访问,然而基于锁的并发程序很容易受到锁竞争的影响,导致性能下降和可伸缩......
首先提出了Fuzzy下推自动机的概念,进而讨论了Fuzzy上下文无关文法与Fuzzy下推自动机的关系,即当且仅当一种Fuzzy语言是由Fuzzy上......
给出了对静态检查可执行程序时序安全漏洞中的2个主要问题的研究结果：1)2种新的时序安全漏洞模型；2)建立二进制程序的下推自动机方法......
计算机控制系统具有自动机的特征,可以用有限自动机理论来对其进行描述,有限自动机是计算机科学各个方面的重要基石。但除确定性的......
平面调车是一种铁路调车过程中的离散事件系统．可靠性高、易测试的平面调车软件对保障铁路运输安全极为重要，因此需要建立一种规范模......
首先提出了Fuzzy下推自动机的概念,进而讨论了Fuzzy上下文无关文法与Fuzzy下推自动机的关系,即当且仅当一种Fuzzy语言是由Fuzzy上......
自wolfram S关于CA工作发表以来,人们逐步认识到除了通常理解的定态、周期和混沌三大运动形态外,还存在着一种更为复杂的运动形态.......
本文是利用某些形式语言理论和自动机理论对编译程序的语法分析中一种方法——自上而下分析方法进行说明。更多还原......
随着对半结构化流式数据进行复杂事件查询的需求日益增加,高效地进行复杂事件查询显得尤为重要。目前针对复杂事件查询的方法主要......
提出了一种基于安全自动机的信息流实时监控技术,该技术防范了恶意用户通过程序结构的缺陷窃取机密信息。监控机制使用了下推自动......
文章介绍半环代数理论,讨论了下推自动机,在下推自动机概念的基础上给出了其在半环上的定义,特别是下推转换矩阵的引入,使下推自动......
本文在研究已有DNA计算机模型的基础上,提出了一种下推自动机的DNA实现模型,该模型可以用来接受回文语言.此模型(1)通过设计合适的......
教学需要＂教＂与＂学＂双方的密切配合。树立＂学生为主体、教师为主导＂的良好教学关系,是成功教学的关键。本文根据＂编译原理＂课程的特点,提出......
介绍了一种立即计算谓词并即时输出的XML流数据查询系统XSIEQ。XSIEQ采用修改了的下推自动机技术，对多个XPath式按前级共享的方式构......
DNA分子计算的工作原理是对生物系统进行编码,以生物化学反应为基础,利用生物技术实现生物系统的状态转移来实现计算过程。自从Adl......
针对具有子孙轴（//）和谓词（[]）结构特征的XPath对具有不同递归深度的XML数据流进行递归查询处理问题,提出了基于下推自动机技术的处理......
<正> 形式语言理论是计算机科学的一个重要分支,这一领域是在1956年前后形成的。那时,Noam Chomsky 在他的自然语言的研究中给出了......
目前，在研究上下文无关语言时常用的形式系统是上下文无关文法和下推自动机，在研究正则语言时常用的形式系统是正则文法和有限状态自......
有些淋巴细胞的构造模型,如r-邻域位线性构造模型,识别能力不够强,尤其对正则表达式缺乏识别能力.该文以下推自动机模型为原理,提......
随着Web应用系统的广泛应用，对其质量要求也越来越高。如何进行有效的测试以保证Web应用系统的质量是值得关注的研究问题。支持测试......
