一种基于属性文法的形式描述方法

本文通过讨论软件测试自动化的基本条件和特殊要求,给出了一种基于属性文法的形式描述方法,它是对一般属性文法作以下两方面扩展得到的:(1)扩展运算函数的值域;(2)补充运算函数在条件不成立时的定义.这样的形式描述方法满足软件测试自动化对形式描述的要求.     

无重叠生成文法的一义可解析性及图林等价性

为了实现有效的文法解析，定义了一种生成规则受限的短语结构文法，称为无重叠生成文法。证明了该类文法的任何语言句子都可以被无回朔无失败地解析。尽管该类文法的生成规则受到很大的限制．但这种文法的生成能力仍然和图灵机等同。     

关于Chomsky范式的算法及其实现

在形式语言中通过Chomsky范式“标准化”上下文无关文法,从而构造性地证明了:给定一上下文无关文法G=(V,∑,R,S)和一字符串x,必存在多项式算法确定是否x∈L(G)。本文指出了Harry R Lew-is,Christos H Papadimitrion的著作在定义Chomsky范式算法中的若干不妥之处,并进行了修改,且实现了Chomsky范式算法的程序.     

通用习题库中题目数据结构设计与题库设计语言的开发

习题库题目数据结构与题库设计语言是习题库设计的核心.题库数据结构与题库设计语言部分采用了标准的编译器模式,按照成熟的编译器原理解决传统的关系型数据库无法解决的数据存取编辑问题.并且创造性地将自定义的文法与国际通行的xml语言结合,增强了题型的可扩展性.本文研究的内容包括:题库设计语言文法的设计,自预向下的验证算法,自底向上的解析算法;与XML语言的同步函数.研究的难点包括文法的设计、First与Follow函数的编程及解析表的生成.     

一种基于正则文法的文本乐谱格式

提出了一种基于正则文法的文本乐谱格式。给出了该文本乐谱格式的详细规范和形式文法,并给出了一个对该文本乐谱格式的读取算法。     

用蒙太格文法解决汉语语义悖论

蒙太格文法是处理语法、语义和语用的典型方法,尤其在语义学方面独树一帜。通过对一个汉语语义悖论的安全分析,来表明Montague文法对于汉语语义悖论的解决,乃至对于整个汉语语义学的研究都具有非常重要的价值。     

格值树自动机与格值上下文无关树文法的等价性

本文将模糊树自动机和模糊上下文无关树文法的概念推广到格半群上。证明了在接受语言和生成语言的意义下,树自动机和上下文无关树文法是等价的。同时给出了构造正规形式的等价文法的方法。     

层级分类概率句法分析

对已有的句法分析中引入知识的方法进行了归纳分析,认为多种句法分析方法都可被看作是基于特征标记的分类,然后分析了其中的欠分类和过分类问题.在此基础上,提出一种层级分类短语结构文法和一种层级分类概率句法分析方法(hierarchically classified probabilistic context-free grammar),并设计了一种通过对实例进行聚类来消除句法规则的分类歧义方法.还进一步将层级分类扩展到概率上下文相关句法分析方法,利用上下文相关性的层级分类来解决引入上下文相关时的数据稀疏性问题.通过上述一系列方法有效地克服了过分类与前分类之间的矛盾.     

FORTRAN语言的一个属性文法

本文介绍了用属性定义语言ALADIN写的FORTRAN语言的属性文法。该文法描述了FORTRAN语言的语法结构及其静态语义,包括作用域规则、说明的建立、表达式分析和出错处理等。