含有某种限制的上下文无关文法之LR分析

本文给出一种扩充LR分析方法以使其能够处理含有嵌套限制的上下文无关文法之办法。在基于LR的分析程序中，通常要借助执行LR方法的上下文以外的语义代码处理这样的限制，由于LR方法本身就含有这样的限制，所以潜在的移动归纳与归约归约的冲突可被解决并能进一步制约认可的语言，推荐的方法很蝗于并入现有的基于LR的分析程序生成系统。     

规则库冗余性控制策略的研究

冗余性控制是研究知识库组织、管理和维护中的一个问题．本文通过对智能型机译系统中规则知识表示方法的分析，提出了将冗余规则划分为显式冗余规则和隐式冗余规则分别予以处理的思想，给出了显式冗余规则的判别算法和部分隐式冗余规则的检测标准，并提出了控制机译系统规则库冗余性的基本原则.     

CIMS软件开发工具：Petri网编辑器的语法分析及其实现

本文给出并发表达式语言的文法，并描述了Petri网编辑器的语法分析过程和中间代码的产生过程。解决了Petri网在计算机中的存贮结构问题，处理了可能会出现的重名变量，实现了从井发表达式语言到安全标号的Petri网的转换工作。     

一种基于文法压缩的日志异常检测算法

近年来日志挖掘是一种广泛使用的检测应用状态异常的方法.现有的异常检测算法需要大量计算,或者它们的有效性依赖于测试日志满足一些预先定义的日志事件概率分布.因此,它们无法用于在线检测并且在假设不成立时会失效.为了解决这些问题,该文提出了一种新的异常检测算法CADM.CADM使用正常日志和待检测日志之间的相对熵作为异常程度的标识.为了计算相对熵,CADM充分利用了相对熵和文法压缩编码大小之间的关系而不是预先定义日志事件概率分布的族.通过这种方式,CADM避免了对日志分布的预先假设.除此之外,CADM的计算复杂度为O(n),因此在日志较大的情况下有较好的扩展性.通过在仿真的日志和公开日志集上的评测结果可以看出,CADM不仅可以应用在更广泛的程序日志上,也有更高的检测精度,因此更适合在线日志挖掘异常检测的工作.     

方块苗文动态构造方法的形式化描述

针对如何在计算机中生成和显示方块苗文的问题,提出了一种方块苗文动态构造方法,给出了该方法的基本原理,定义了实现方块苗文动态构造所需要的操作符,并以谓词规则的形式对方块苗文动态构造变换操作进行了描述。该方法仅需存储方块苗文构件及独体字的显现字符,通过对显现字符进行上下组合、左右组合、侧围组合来实现方块苗文的动态构造,为方块苗文字库中字形构件提取及合体字自动生成技术提供了重要支持。     

“编译原理”教学实践探究

教学需要"教"与"学"双方的密切配合。树立"学生为主体、教师为主导"的良好教学关系,是成功教学的关键。本文根据"编译原理"课程的特点,提出应用启发式教学的思想,提高学生在学习中的主体地位,多方面增强学生的学习兴趣。文章结合笔者17年的"编译原理"课程教学实践经验,总结了开展启发教学、提高教学质量的一些粗浅策略。     

基于GLR算法的维吾尔语句法分析研究

采用GLR算法对维吾尔语句子进行句法分析,并且与平行LR算法进行比较,比较它们的分析过程,针对于维吾尔语在单词集上进行句法分析。分析结果采用最优规则,选取最优的句法分析树,对下一步的句法分析研究提供很大的帮助。     

归纳法在计算机学科中的应用

数学归纳法是一种非常重要的数学方法,它不仅对我们数学的学习有着很大的帮助,而且在计算机学科的研究中也是一种重要的方法.首先必须准确的理解其意义以及熟练的掌握解题步骤,而在三个步骤中运用归纳假设尤为关键,运用归纳假设推出猜想最为重要.最后我们在通过用数学归纳法证明文法语言的过程中,可以更加深刻理解和掌握"归纳-猜想-证明"这一探索发现的思维方法.