共查询到20条相似文献,搜索用时 46 毫秒
1.
近年来,在增量式程序设计环境的领域中,许多工作在致力于开发各种各样的功能和特色。而在增量程序设计环境的形式化描述和自动生成方面所做的工作还很少。属性文法是用来表示程序设计语言语义的很好的工具,它已经被成功地应用于编译程序的自动生成。但当应用于增量程序设计环境时,遇到了一些特殊的困难。困难之一就是属性增量计值的效率问题。T.Reps在这方面做了一些工作,本文改进了他的工作。我们对应用于增量程序设计环境的属性文法作了一个修改,然后提出了一个针对修改后的属性文法的增量计值算法。这一算法在时间和空间上都优于Reps的算法,并且在时间上是最优的。 相似文献
2.
网络通信协议的属性文法规格说明 总被引:4,自引:0,他引:4
本文给出一个基于属性文法的网络通信协议的形式说明与自动生成的模型.首先引入了一个扩展的属性文法描述工具,讨论了用其描述协议的并行、同步、延时(时序)等特性的有关问题;然后研究了基于属性文法的网络通信协议自动生成环境及其核心算法——属性计算(即语义分析)算法. 相似文献
3.
将文法演化方法引入蜂群算法, 基于上下文文法定义多种数学函数, 提出了自动拟合非线性数据的蜂群算法BCGE, 并给出了通过基因截断、基因增补及利用领域知识加速BCGE的方法。基于文法演化的BCGE比基于文法规划的其他算法更为简洁, 且存储基因型所需的空间也远比其他算法存储语法树所需的空间少。通过五个测试函数的实验表明, BCGE能够有效地拟合非常复杂的非线性数据。 相似文献
4.
郑勇 《计算机工程与应用》1988,(6)
属性文法作为一种描述程序设计语言语义的工具在交互式环境中有着广泛的应用。相当多的一部分交互式环境是基于属性计值实现的。然而,传统的属性文法具有很大的局限性,它要引进大量的复制规则链,导致了很严重的时间和空间效率问题。为此,我们将属性文法扩充到非局部属性文法,它在程序的语义树中引进了非局部依赖关系,避免了通过复制规则链传递语义信息时所造成的时空效率问题。但是由于非局部依赖关系是动态的,从而使得属性的增量计值更加困难。本文描述了非局部依赖关系的表示方法,并针对程序开发过程中程序语义树中非局部依赖关系的维护问题提出了解决方法。最后,根据作者开发交互式环境的经验,讨论了非局部依赖关系的维护方法在环境中实现时的改进。 相似文献
5.
6.
一种层次化的LSD规则体系及其分析算法 总被引:1,自引:0,他引:1
本文提出了一种基于词汇属性结构描述和规则继承的层次化LSD规则体系,讨论了该规则体系下的规则搜索策略和词汇化规则索引的实现方法,并在此基础上首次给出了LSD文法的非确定性分析算法。该规则系统具有从传统属性文法到现代词汇文法的可伸缩性,同时较好地解决了线性规则库中复杂的规则交互问题。 相似文献
7.
8.
本文构造的XYZ/NGAE系统是建立在属性文法基础上的前端编译程序自动生成系统.本文在概述了属性文法及其描述语言之后,简要地介绍该系统的体结构以及为减少空间开销而采用的优化措施. 相似文献
9.
本文构造的XYZ/NGAE系统是建立在属性文法基础上的前端编译程序自动生成系统。本文在概念了属性文法及其描述语言之后,简要地介绍该系统的体结构以及为减少空间开销而采用的优化措施。 相似文献
10.
根据文献[2]中提出了的基于属性文法和语义网络的综合知识表示模型MAS,本文提出了关于实现该MAS推理机制的基本算法,并且通过实例对该算法进行了说明,最后,证明了基于MAS模板的属性文法是L-AG和IMAS的解是完全的结论。 相似文献
11.
12.
13.
本文提出了一个以有序属性文法为基础的并行自动语义分析算法,它通过构造所谓的并行访问序列和相应地扩充原来的属性计值驱动器来实现并行处理。为了实验的目的,该算法已通过模拟的方法获得实现。 相似文献
14.
屈延文 《计算机研究与发展》1985,(11)
4.用属性文法进行编译程序设计近些年属性文法得到广泛的发展与应用.用属性文法进行编译程序设计可以是工具的辅助设计,也可以是人工进行设计.我们在这里主要介绍程序员如何根据属性文法的定义进行编译程序设计,并假定读者对属性文法的基本概念已经清楚.4.1属性文法的分类及判定问题 相似文献
15.
16.
六、算法的时间复杂性 算法1是严格按Horn子句和上下文无关文法的对应关系用Earley思想设计的。一般来说,Horn子句对应了上下文无关文法的所有可能性,它可能对应无穹界多义文法,有界多义文法,两义文法,非两义文法及在限状态上下文无关文法。正因为Earley算法是极为通用的上下文无关文法,它对任一种上下文无关文法都可求解。所以算法1的功能对所有Horn子句系统亦是通用的,只不过是对不同类型的Horn子句系统,对不同的问题,其算法复杂性是不同的。 相似文献
17.
18.
19.
用实时间回馈(RTRL)算法和实编码基因遗传(RCGA)算法训练二阶递归神经网络进行模糊文法推导,表现出了精度高的良好性能,但速度较慢。然而作为目前最快的递归神经网络算法Levenberg-Marquardt(LMBP)算法在模糊文法推导中的应用却很少引起学者们的关注。通过实验对 LMBP算法在正则模糊文法推导中的优势与缺陷等性能进行分析,实验显示了LMBP算法在模糊文法推导中的快速收敛能力。 相似文献
20.
基于属性文法和语义网络的综合知识表示模型 总被引:3,自引:1,他引:3
本文提出了一个属性文法计算模型与语义网络表示模型相结合的综合知识表示模型.根据形式化的语义网络表示模型和属性文法的特点,该模型使用属性文法的符号建立了一些适合于语义网络表示模型的语法和语义规则模式,并且可通过扩充的属性文法的解释器来实现推理. 相似文献