改进的上下文无关文法及其语法分析

针对一些语言的实际应用情况,对标准的上下文无关文法作了改进,将标准的上下文无关文法定义中的非终结符集合和终结符集合进行细化,使得单词推导和句子推导可以使用同一个过程,即词法分析和语法分析可以在同一个语法分析过程完成.还给出了改进后文法的分析算法及算法的时间复杂度分析,证明用这种改进的方法进行语言文法定义更直观、简洁,其分析算法的时间复杂度优于标准上下文无关文法的分析算法.     

改进的上下文无关文法及其语法分析

针对一些语言的实际应用情况，对标准的上下文无关文法作了改进，将标准的上下文无关文法定义中的非终结符集合和终结符集合进行细化，使得单词推导和句子推导可以使用同一个过程，即词法分析和语法分析可以在同一个语法分析过程完成．还给出了改进后文法的分析算法及算法的时间复杂度分析，证明用这种改进的方法进行语言文法定义更直观、简洁。其分析算法的时间复杂度优于标准上下文无关文法的分析算法．     

模糊上下文无关树文法

定义了模糊上下文无关树文法(PCFTG)，讨论了其构造性质，给出其分解定理及表现定理，进而讨论了由模糊上下文无关树文法生成的语言IO(Inside-out)，模糊IO树语言的封闭性．     

用待确定的上下文无关文法分析半结构化数据

对上下文无关文件作了改进，改进后的方法能在语法分析的过程中利用已分析部分的语义信息，得出待分析部分未确定的语法结构，使其可用于处理复杂的半结构化数据。     

应用模块法杂凑语言的上下文无关文法

编译程序的编制过程中,人们首先接触是语言,而上下文无关文法是作为程序设计语言重要的语法描述工具。因此,只有将语言用上下文无关文法表示才能使用现有的技术,从而用计算机自动实现。通过应用模块法将语言进行模块化划分,并在模块内实现杂凑,能够成功地、方便地实现语言到上下文无关文法的转换。     

基于上下文无关文法电报译码的算法实现

对于电报译码，传统的做法是根据电报的格式用相应的程序去识别报文。这种方法能够比较可靠折识别报文。但考虑到电报格式的易变性，这种需要程序员去修改源程序的方法就显得很不规范，所以编写一个与报文格式无关的电报译码程序就显得尤为重要了。     

对上下文无关文法中的非终止符的相似性和等价性的判定

通过对具体文法的分析 ,定义了上下文无关文法中非终止符的相似性概念 ,提出了判定算法 ,并证明 :若两个非终止符的相似性达到一定程度 ,那么它们必定等价。利用上述结论 ,最终得到了一个判断上下文无关文法语言相同的充分性条件     

用待确定的上下文无关文法分析半结构化数据

对上下文无关文法作了改进,改进后的方法能在语法分析的过程中利用已分析部分的语义信息,得出待分析部分未确定的语法结构,使其可用于处理复杂的半结构化数据．     

模糊上下文无关树文法的分解定理和表现定理

定义了模糊上下文无关树文法（FCFTG），讨论了其构造性质，给出了其分解定理及表现定理，从两个不同的角度，阐明了FCFTG与非模糊上下文无关树文法的代数结构之间的关系，提供了将FCFIG转化为普通文法问题的方法。     

上下文无关格值词语言研究

文章在格半群意义下,提出基于词计算的上下文无关格值文法,证明由其生成的格值词语言关于并与连接运算封闭,及其与乔姆斯基范式文法等价．     

Fuzzy上下文无关文法与Fuzzy上下文无关语言的性质

Ｆｕｚｚｙ下推自动机与Ｆｕｚｚｙ上下文无关文法有紧密的关系,讨论了Ｆｕｚｚｙ上下文无关文法及其产生Ｆｕｚｚｙ上下文无关语言的一些性质。     

基于图法则分析的三维布局模型生成方法

在分析现有布局模型及相关求解技术的基础上,提出了三维布局问题的一个复合知识模型──构造性属性关联图（ＣＡＬＧ）,并深入研究了基于图法则分析的模型生成策略．该复合知识模型的生成过程刻划了三维布局结构的构造原理．ＣＡＬＧ具有良好的几何信息,为布局问题的具体求解打下了基础．利用该方法有效地建立了车身内布置设计的初始模型．     

连接文法在并行环境下的语法分析和识别

连接文法是上下文无关文法的扩展,是在形式规则中加入集合的交运算.连接文法比上下文无关文法具有更强的生成能力.通过对连接文法深入的分析,提出了一种在并行环境下的语法分析和识别算法,算法事实是以上下文无关文法并行识别算法为基础提出的.最后以实例详细描述了算法并行处理过程并验证其算法的可行性.     

基于图形语法的UML模型转换方法

模型驱动的软件开发生命周期的核心是模型转换过程.例如从初始的分析模型出发,并行的进行分析模型的迭代,以及分析模型到设计子模型的转换过程,并支持最终两种模型的合并.为了允许迭代的和并行的对各个精化模型进行修改,利用图形语法辅助模型的精化和合成,可以有效的实现转换过程的精确性和一致性.该项研究可以作为模型自动生成技术以及模型驱动体系结构(MDA)的基础性工作.     

一种构造Hasse图的高效算法

目前在国内外的文献上,关于Hasse图的构造方法都是基于纯粹的数学矩阵变换方法,而非计算机算法,其缺点是不论最好还是最坏情况,其时间复杂度都是0（n3）,进而无法为特殊情况作出优化。这里给出一种构造Hasse图的通用高效算法。该方法从计算机算法的角度对矩阵中单个元素进行计算,当矩阵中所需计算的元素较少时,算法的时间复杂度会相应的降低,在最好的情况下,时间复杂度将接近O(n2),而在最坏的情况下,时间复杂度仍保持在0（n3）。     

算符优先文法最左素短语的一种判断算法

算符优先分析法是分析算术表达式的有力工具，这种分析方法主要是寻找句型的最左素短语，本文给出算符优先文法最左素短语的一种判断算法。     

关联规则的高效向量法数据挖掘

对经典的向量挖掘算法和Apriori算法的思想及其复杂度进行分析后,提出了一种新的高效向量数据挖掘算法。新算法通过避免不必要的计算以达到提高算法的计算效率,通过避免不必要的存贮以达到减少算法的空间复杂度,与经典的向量挖掘算法相比有如下优点：(1)空间复杂度为o(n|L1|),比经典的挖掘算法的空间复杂度要小得多;(2)计算量比经典的挖掘算法要小。     

对刚体图象生成算法的分析

对刚体图象生成算法从理论上了探讨。首先建立了该算法的相应的数学模型，多面手推出其复杂度函数Ｓ（ｎ）在最坏情况下所满足的递归系统。     

“挎包”问题的一种高效精确收敛算法

在所有装包方案中，寻找一种最为精确的装包方案，使挎包剩余体积最小，本就该问题的快速收敛算法进行探讨并与理论值进行比较。     

一个有效的多边形窗口的线裁剪算法

在已有的一般多边形窗口的线裁剪算法的基础上提出了一个新算法,该算法通过内包围盒的方法,排除大量不与裁剪线段相交的多边形的边,从而降低了求交中复杂度极高的乘除法运算量,保证了算法的快速、高效.