基于属性文法的本体形式化描述方法及其应用

在分析本体概念和性质的基础上,提出一种基于简单属性文法的本体形式化描述方法,其中文法产生式描述本体内的各种逻辑关系,为逻辑层推理奠定了基础,通过属性求值规则实现本体的语义;设计一种属性求值器的构造方法,在此基础上实现基于语义的信息检索模型;将基于XML(extensible Markup Language)的本体元数据模型作为属性求值器处理的对象,提供相应的文档类型定义(DTD:Document Type Definition)以指导XML文档的创建;结合应用实例说明基于此方法的信息检索结果具有令人满意的精确度;通过改变产生式、属性及属性求值规则可扩充此方法.     

二级属性文法的设计

本文给出一个将文法 G 划分为二级文法的算法,并讨论二种构造二级属性文法的方法,这是二级属性计算器乃至整个编译程序自动生成的基础.     

关于属性G-(g-)量子文法与属性量子自动机

为了提高量子文法的描述能力，较好地克服上下文有关文法的难点，引入了属性G－（g-）量子文法、（广义）属性量子自动化等概念，进而研究了它们之间的关系，即：对每一给定的属性G－（g-）量子文法， 都可以构造出一个广义属性量子自动机Q，使得它们所接受的语言集相等，反之亦然。从而达到了自动识别属性G－（g-）量子语言的目的。     

Fuzzy 2型属性文法与Fuzzy属性下推自动机

讨论了２型属性文法与属性下推自动机的关系,进一步给出了Ｆｕｚｙ上下文无关属性文法与Ｆｕｚｙ属性下推自动机,并详细讨论了二者的关系,达到了自动识别Ｆｕｚｙ２型属性文法语言的目的     

EL语言属性文法

介绍面向过程的程序设计语言－－ＥＬ语言属性文法的构成方法及其典型实例，它是属性文法编译程序生成系统的基础。     

基于属性文法的研究生教育评价系统设计

使用属性文法设计了研究生教育评价系统,非终结符表示一级和二级评价指标,终结符表示输入的数据,文法符号的属性表示相应数据的值,并设计语义规则实现了对这些属性的加工处理,完成了对某一单位研究生培养的评价.该设计方法不仅节省内存空间,而且提高了系统的灵活性.     

编译程序自动生成系统HMCGS的设计与实现

本文介绍一个基于范式有序属性转换文法NOATG的编译程序自动生成系统HMCGS。NOATG源于属性文法,可被用于描述程序语言的形式语义、编译程序的自动生成等领域。属性描述语言ADL是专为HMCGS系统设计的输入语言。HMCGS系统接受一个ADL语言程序,生成一个相应的目标编译程序。本文还简要介绍了HMCGS系统与目标编译程序的系统结构。     

基于多线程LL(1)分析表自动生成的并行算法

为解决编译系统工作中由于文法非终结符数量庞大造成的生成LL(1)分析表速度缓慢的问题,描述了多处理机环境下的LL(1)分析表自动生成的一种并行处理方法,并讨论了LL(1)分析表生成的并行算法的设计思想和实现策略。在采用LL(1)方法实现自顶向下语法分析的并行编译中,LL(1)分析表的生成一直处于关键地位,由于文法中的终结符和非终结符个数很多,分析表的构造成为提高语法分析速度的瓶颈问题,因此考虑采用LL(1)分析表的并行生成。算法采用多线程的工作模式,并借助于线程间的通讯机制实现,此并行处理方法对编译的并行处理和提高效率有理论和现实意义。     

面向CPN属性的测试序列的自动生成方法

CPN(Coloured Petri Nets)非常适用于描述和分析含有并发、同步和通信等情况的复杂系统。该文提出了一种面向CPN属性的自动生成测试序列的方法。首先给出了CPN属性的形式化定义,然后根据系统的CPN模型给出了面向CON属性生产测试序列的算法,并应用该算法完成了面向CPN属性的测试序列自动生成工具的开发。这对于CPN t00Is也是个非常有效的扩展。     

编译程序自动生成系统HMCGS的理论基础——范式有序属性转换文法NOATG

本文提出了两种新的程序语言语义描述方法,属性转换文法ATG和范式有序属性转换文法NOATG。本文首先定义了ATG并讨论了其性质,然后在ATG基础上进一步提出了NOATG。指出与ATG相比,以NOATG为基础模型构造的编译程序生成系统能构造出能力相同,但时间和空间效率较高、结构更简单的编译程序。本文还围绕着基于ATG和NOATG的编译程序生成系统的有关问题展开了讨论。     

面向扩展文法语义分析器的自动生成

在扩展巴克斯范式(EBNF)Earley分析的基础上, 提出一个语义分析器的自动生成算法, 给出了一个带有语义动作的扩展文法和一个输入, 即可生成其语义分析器. 通过执行语义动作, 就可以进行类型检查、 中间代码生成及优化等相关工作, 使得该算法成为完整的扩展文法分析技术, 并在实际运用中成为可能.     

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

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

基于Earley算法的关联文法语法分析的并行处理

关联文法是上下文无关文法的扩展,是在形式规则中加入集合的交运算。该文法比上下文无关文法具有更强的生成能力。通过对该文法深入的分析,提出了一种在并行环境下基于Earley算法的语法分析和识别算法。通过实例描述了算法并行处理的过程,验证算法的可行性和正确性。     

基于超图文法的软件体系结构动态演化

提出用带约束的超图表示软件体系结构,给出基于超图态射的软件体系结构动态演化通用产生式规则的形式化语义和操作,定义类型超图作为体系结构风格,运用超图文法和体系结构风格建模软件体系结构动态演化.为了验证软件体系结构动态演化的正确性,采用模型检测技术,设计算法对软件体系结构动态演化性质进行形式化验证,并应用模型检测工具进行实验分析.该方法既提供了图形化的直观表示,又展示了基于文法的形式化理论框架.     

基于LL(1)的LL(2)分析方法

基于ＬＬ（１）的ＬＬ（２）分析方法，可以在很大程度上简化ＬＬ（２）分析器的构造和提高分析效率。其实质是当一个文法不是ＬＬ（１）文法时，只对不满足ＬＬ（１）条件的产生式部分用ＬＬ（２）分析处理，以简化分析表的构造和提高分析效率（称它为ＬＬ（１，２）分析器）。基于这种方法已实现了一个以语法图或巴科斯瑙尔范式描述的语法为输入，自动生成ＬＬ（１，２）语法分析器的编译器构造工具。若在语法图或语法规则的适当位置插入语义信息则与ＹＡＣＣ（一个编译器的编译器）的功能类似，能构造出完整的编译器，该编译器构造工具经实用效果很好。文中提出的方法与讨论也适于推广到ＬＬ（ｋ），ｋ＞２的情况。     

描述高维崎变模式的有效方法——Fuzzy 树文法

为了有效地描述带有Fuzziness 的高维模式,本文首先提出了Fuzzy 树文法与Fuzzy 树自动机的概念,进而研究了二者的关系.即:对每个Fuzzy 树文法,都可以构造与之等价的Fuzzy 树自动机.从而达到了自动识别Fuzzy 树语言的目的.     

一般上下文无关文法的一个分析算法

本文给出一般上下文无关文法的一个分析算法。该算法可以看成是LR分析算法的推广,它既是自底向上,又是从左到右。理论分析表明本算法对一般文法具有时间界O(n~3)这里n是输入句子的长度);对有界歧义文法时间界为O(n~2),而对LR文法时间界为O(n)。由于本算法是先将文法转换成分析表,然后用分析表来指导对句子的分析。因而在实际应用中本算法一般要比Earley算法快,另外本算法输出中包含输入句子的所有可能的分析,并且仅需一简单枚举就可从此输出中找出句子的一个分析。     

随机正则文法的相似

对于给定的随机正则文法G_8是否存在着一个真正随机正则文法G_8,使得L(G_8)=L(G_8),若存在,又如何求出G_8?本文在两个不同的但都不是十分严格的限制下,证明了Thompson方法是有效的,它不仅提供了一个从G_8求G_(?)的方法,而且还包括判断这样的G_8是否存在的判别准则,在此基础上,本文将随机文法等价的概念推广,提出了随机文法相似的概念,并证明了在受到上述相同限制的前提下,每一个随机正则文法G_8总有一个与之相似的真正随机正则文法G_8,其中相似系数由G_8本身唯一决定。