规范LR(K)分析算法的优化

本文在规范LR(K)分析算法的状态集上引入进栈状态的概念,并由此给出一个优化算法,旨在减少语法分析时必须下压入下推栈的状态个数,提高语法分析速度,节省下推栈空间。     

用递归下降方法实现自底向上的语法分析

针对LR(1)语法分析方法的分析能力较强,但其语法分析器的状态数太多,很难被应用的问题,提出了改进的LR(1)语法分析方法--RDLR(1)(Recursive Descent LR(1)语法分析方法,同时给出了将LR(1)文法等价变换成RDLR(1)文法的一般方法.结果表明,该文法对语言的识别能力与LR(1)文法相同,比LALR(1)文法强;但其语法分析器的状态数却比LR(1)语法分析器的少,与LALR(1)语法分析器的状态数相当.     

编译实验教学之LR(0)分析表的分析与构造

编译原理是计算机学科的核心课程,实验教学对学生学习该课程具有相当重要的作用。LR(0)分析表是LR(0)分析器的主要组成部分之一,是建立其他LR分析的基础。本文首先对LR(0)的理论基础进行阐述,然后,着重讨论LR(0)项目集族和LR(0)分析表的构造方法,最后,对实现构造LR(0)分析表的C++语言程序进行分析。     

LR语法分析中错误恢复策略和方法的研究

语法分析中的错误恢复是现代编译器中智能感知功能的重要组成部分,错误恢复的效果直接影响到编译器的性能。本文分析了通常的语法错误恢复策略,阐述了LR语法分析中的错误恢复策略,在分析LR分析表特性的基础上,结合智能感知中错误恢复策略,提出了一种对LR分析表中Goto表项进行改造来进行语法错误的诊断和恢复的方法。该方法提高了语法错误恢复的效率和准确率。     

LR分析法的矩阵压缩算法

LR分析法可对LR文法的句型进行语法分析,此分析法特点是对输入串自左至右的扫描和自底向上的归约。完全扫描和归约需借助于一个总控程序和一张LR分析表,分析表是一个稀疏矩阵。本文给出LR分析表压缩成状态——符号矩阵表的压缩算法,并对总控程序作了相应的修改。从而将LR分析法改造成状态——符号矩阵分析法。     

基于TCP状态有限自动机的入侵检测研究

入侵检测是一种重要的信息安全防御技术.基于TCP状态有限自动机的入侵检测是一种异常检测方法,它能发现违背TCP状态有限自动机的行为.描述了TCP协议中正常的连接状态转换关系,构造了TCP状态有限自动杌,给出了基于TCP状态有限自动机的入侵检测实现.     

基于TCP状态有限自动机的入侵检测研究

入侵检测是一种重要的信息安全防御技术.基于TCP状态有限自动机的入侵检测是一种异常检测方法,它能发现违背TCP状态有限自动机的行为.描述了TCP协议中正常的连接状态转换关系,构造了TCP状态有限自动杌,给出了基于TCP状态有限自动机的入侵检测实现.     

关于渐近中位无偏估计的渐近效率(英文)

本文在几种重要的分布族中,给出了渐近中位无偏估计的渐近效率的一种定义。给出了如下一些结果：在单参数族中,提出了构造渐近有效的渐近中位无偏估计的一种方法,在具有共同支撑集的分布族中,论证了渐近中位无偏有效估计与ＢＡＮ估计之间的等价值;而在非共同支撑集的截断族中,对一般的参数向量函数构造了它们的渐近中位无偏估计,并且计算出了它们的渐近效率。     

非确定型有穷自动机的极小化

利用自动机状态集上的等价关系对自动机的状态集进行极小化, 从而得到与原自动机功能等价的极小化自动机. 通过两台确定型有穷自动机（DFA）的连接, 构造一台非确定型有穷自动机（NFA）. 利用这两台确定型有穷自动机状态集上的等价关系, 可以构造这台非确定型有穷自动机状态集上的等价关系, 从而对这台非确定型有穷自动机进行极小化. 结果表明这台非确定型有穷自动机的极小化自动机的状态复杂 度, 不大于对那两台确定型有穷自动机的极小化自动机进行连接得到的非确定型有穷自动机的状态复杂度; 并且自动机在等价关系基础上进行极小化时不改变识别语言.     

时间自动机与自动验证

给出时间自动机的基本概念,描述了区域自动机的构造方法,并且实现了区域自动机的构造算法.简述了通过时间自动机进行自动验证的过程,最后分析了区域自动机构造算法的时间复杂度.