一类LR(k)文法

本文定义了LR(k)文法的一个新的子集,称为KLR(k)文法;同时给出了构造KLR(k)分扩表的一个算法。KLR(k)文法包含LALR(k)文法作为它的真子集,但KLR(k)分析程序的状态数与LALR(k)分析程序的状态数一样多。此外,在本文中也给出了LR(k)和LALR(k)文法的一个新的判别条件。     

一个改进的LR（1）分析表及其构造算法

LR（1）分析表是LR（1）分析器的核心。改进了传统的LR（1）分析表,提出了新的构造算法。该算法利用LR（1）基本集代替LR（1）项集,对于归约状态直接标注归约转移后的状态编号。该分析表不含GOTO表,基于它的LR（1）语法分析过程一般不需要后入先出栈的辅助,文中的一个实例说明了该分析表的有效性。     

编译原理中项目集规范族的分析与研究

LR分析法是一种应用较广泛的语法分析方法,项目集规范族是构造LR分析表的基础.本文将词法分析方法与语法分析方法联系起来,以有限自动机知识为基础,给出了一种基于自动机的构造项目集规范族的方法,然后,给出了一种更简洁的方法,并比较了两种方法的异同.     

关于SLR(1)分析法的讨论

<正> SLR(1)分析法是规范LR分析法的简化。规范LR分析法是程序语言的语法分析法之一,其功能是在单词符号串里识别句子,方法是对单词符号串进行自左至右扫描自下而上归约。规范LR分析法在理论上是十分完备的,但是用它来做语法分析,所用的状态数目太多,因而实际上难以使用。 SLR(1)分析法比规范LR分析法所需的状态数目少得多,因而比规范LR分析法简单,比较容易实现。但是它也有自己的局限性。即对有些文法SLR(1)分析法会发生动作冲突,本文讨论怎样利用句型推导消除SLR(1)分析法的动作冲突,提高SLR(1)分析法的功能。     

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

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

使用LR分析表的词法分析器与分析表最小化

以一个模型语言为例,系统地介绍了使用LR分析表的词法分析器工作原理,以及词法分析器所使用的LR分析表最小化方法。使用LR分析表的词法分析器,统一了词法分析器和语法分析器的构造方法,简化了编译程序的设计和构造。分析表的最小化是通过编码压缩来实现的,分析表的最小化减少了编译程序运行所需的内存空间。     

基于VC++平台的LR语法分析器的分析与实现

讨论了LR分析器的工作原理及过程,并采用VC 完成了LR分析器的实现,包括文法的收集、项目的生成回显、项目集族的构造以及LR(0)分析表的生成显示。     

论反汇编程序的设计

本文介绍反汇编程序的设计原理和设计方法,即用右线性文法描述汇编语言的指令系统,并借助于正规文法与有限自动机的等价性,构造识别汇编语言指令代码的识别器。最后依据所识别的指令代码查助忆符表,实现从机器代码到助忆符的翻译。本文用Z—80微处理机的汇编语言做例子进行叙述。     

LL（1）文法及分析表的自动构造

本文主要讨论了LL(1)文法以及LL(1)分析表的自动构造。LL(1)分析法适用范围较LR分析法为小,但该方法系统开销小,故可用于小型编译程序或命令解释执行系统的语法分析。论文中的相关软件除可用于教学演示外,还可用于实际编译程序LL(1)分析表的自动构造。     

一种应用层分布式拒绝服务攻击快速检测方法

提出一种基于应用层协议用户行为统计特征的快速攻击检测算法,能在高速网络环境中快速识别异常聚集流量,区分正常访问和应用层分布式拒绝服务攻击。该方法使用有限状态自动机理论描述了应用层协议正常用户行为和攻击行为的差异,构建了检测自动机模型。该方法将应用层协议用户行为抽象成一系列协议关键字的交互,主要根据应用层协议关键字的统计特征生成用户行为统计特征向量,构造基于逼近理想点排序算法的模型分类器,同时对模型进行训练得到最优分类距离阈值,从而对DDoS攻击行为作出判定。高速网络环境下的测试结果表明了此方法的有效性。     

利用基本文法改写模式解决语法分析冲突

分析了LALR(1)分析器生成系统中语法分析冲突问题的起因和解决冲突的时机及策略,提出改写文法应遵循的4条规则,将常用的文法改写技巧总结为7个基本的文法改写模式。应用案例表明,提出的文法改写规则和基本文法改写模式可有效解决语法分析冲突。     

基于EICG的英汉机器翻译句型转换器设计

句型转换是指将感叹句和各种疑问句变为陈述句语序的转换。我们在研制MatLink英汉机器翻译系统的过程中，提出了扩展的基于信息的格语法(EICG)及其应用原则，并且利用EICG设计实现了英语句型转换器。该分析器采用多出口结构，针对感叹句和不同类型疑问句提出相应的分析实现算法，并通过实例分析阐述了实现不同句型间转换的设计思想和工作过程。     

基于共享最左成分活动边的改进线图算法

为了提高基于线图算法的句法分析器的效率,提出基于共享活动边最左成分的改进线图算法.首先分析了传统线图算法的句法分析机制,指出该方法中未能对大量的具有相同最左成分的活动边进行有效处理的缺陷,进而改进了活动边的表示方式,通过共享相同的最左成分减少了活动边的生成数目,从而在降低存储空间的同时提高句法分析的速度.在汉语树库上的实验结果表明,这种基于共享活动边最左成分的改进线图算法比传统方法的效率提高了10余倍.     

高效扩增式LL语法分析表的构造方法

扩增式LL语法分析的效率能极大地影响扩增式编译和解释环境的成功,而生成一个高效的扩增式LL语法分析,首先需要构建一个附加距离入口的扩增式LL预测分析表。在文中构建出了一个高效的表构造算法,并通过实例详细分析了该算法的有效性。     

基于隐马尔科夫模型的随机系统运行时安全性验证

随机系统运行时验证中,由于可靠地传感系统运行状态的成本非常高以及一些事件的监控严重影响系统时间相关的行为,因此,复杂随机系统在运行时其状态是难以观测的。为了对该类系统进行运行时验证,提出了状态不可观测的随机系统运行时安全性验证方法。首先,给出了随机系统安全性验证框架,框架使用隐马尔科夫模型建模运行时系统,使用确定性有限自动机规约系统安全属性,使用两者的乘积自动机作为属性验证器。然后,提出了属性验证器的构造算法,该算法消除了从初始状态不可达的状态以及与验证属性无关的组合状态,约简了验证器的规模。最后,基于验证器,提出增量迭代安全性验证算法,该算法接收到一个新的观测值,立即计算已观测到的整个有穷序列的监控结论,不需要保存当前观测值之前的有穷观测序列。实验仿真结果表明该方法能有效性地在线验证状态不可观测的随机系统安全性。     

配电网潮流计算的拓扑分析研究

为实现配电网自动化,配电网馈线装设各种开关设备。开关的不同状态使网络各支路潮流方向和大小发生变化。以矩阵方式建立配电网拓扑结构模型,从联络开关状态分析入手,建立弧矩阵结构来确定潮流变化,并以支路电流法为例给出潮流分析的基本方法。所提出的方法适用于通过联络开关连接的多个电源供电的复杂配电网潮流分析,具有一定的普遍意义。     

图形识别的有限自动机方法

针对工程图中具有某种特殊意义的图形符号(如粗糙度、标高符号等),研究了确定性有限自动机识别矢量图形的方法.从DFA出发,构造待识别图形符号的状态集合以及状态间的转换关系,然后通过搜索图形元素集合以及一定的条件进行状态转换,根据其最终所处状态判断识别结果.