首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 31 毫秒
1.
孙淑玲  郑启龙 《软件学报》1996,7(A00):199-204
本文构造的XYZ/NGAE系统是建立在属性文法基础上的前端编译程序自动生成系统。本文在概念了属性文法及其描述语言之后,简要地介绍该系统的体结构以及为减少空间开销而采用的优化措施。  相似文献   

2.
根据文献[2]中提出了的基于属性文法和语义网络的综合知识表示模型MAS,本文提出了关于实现该MAS推理机制的基本算法,并且通过实例对该算法进行了说明,最后,证明了基于MAS模板的属性文法是L-AG和IMAS的解是完全的结论。  相似文献   

3.
本文提出了组合jcon形和意部分形成对象Oicon的概念,扩充了传统的属性文法,讨论了属性文法在面向对象可视知识结构中的应用。本文还给出了PAD可视化知识表示的例子。  相似文献   

4.
邹维 《计算机学报》1990,13(12):916-925
本文介绍了用属性定义语言ALADIN写的FORTRAN语言的属性文法。该文法描述了FORTRAN语言的语法结构及其静态语义,包括作用域规则、说明的建立、表达式分析和出错处理等。  相似文献   

5.
通信协议是网络技术的核心。由于异质构环境中网络协议固有的复杂性,因此需要研制一磁建立在严格数学模型基础这之上的协议开发方法和集成工具环境,以降低协议开发难度,提高协议开发效率。本文旨在探索一种用于协议形式描述和工程开发的扩展属性文法,重点研究了设计属性文法描述语言的原理及结构特点等,并通过一个完整例子说明如何使用我们所设计的属性文法描述语言L_PSAG定义一个协议,然后给出一个基于属性文法的协议设  相似文献   

6.
一、引言属性文法被普遍用作为基于语言的环境中增量语义分析的基础。传统属性文法中,属性是局部的,即语义等式仅能引用相同产生式实例中属性的值。对于以属性文法为基础的增量语义分析,属性的局部性无法有效地传递语义树中符号定义点和引用点之间的语义信息。换言之,为了把符号的定义信息传送到引用点上,定义信息必须逐结点地经过许多中介属性;一个符号的定义和删  相似文献   

7.
属性文法作为一种描述程序设计语言语义的工具在交互式环境中有着广泛的应用。相当多的一部分交互式环境是基于属性计值实现的。然而,传统的属性文法具有很大的局限性,它要引进大量的复制规则链,导致了很严重的时间和空间效率问题。为此,我们将属性文法扩充到非局部属性文法,它在程序的语义树中引进了非局部依赖关系,避免了通过复制规则链传递语义信息时所造成的时空效率问题。但是由于非局部依赖关系是动态的,从而使得属性的增量计值更加困难。本文描述了非局部依赖关系的表示方法,并针对程序开发过程中程序语义树中非局部依赖关系的维护问题提出了解决方法。最后,根据作者开发交互式环境的经验,讨论了非局部依赖关系的维护方法在环境中实现时的改进。  相似文献   

8.
近年来,在增量式程序设计环境的领域中,许多工作在致力于开发各种各样的功能和特色。而在增量程序设计环境的形式化描述和自动生成方面所做的工作还很少。属性文法是用来表示程序设计语言语义的很好的工具,它已经被成功地应用于编译程序的自动生成。但当应用于增量程序设计环境时,遇到了一些特殊的困难。困难之一就是属性增量计值的效率问题。T.Reps在这方面做了一些工作,本文改进了他的工作。我们对应用于增量程序设计环境的属性文法作了一个修改,然后提出了一个针对修改后的属性文法的增量计值算法。这一算法在时间和空间上都优于Reps的算法,并且在时间上是最优的。  相似文献   

9.
算法语言L的设计与形式规范   总被引:1,自引:1,他引:0  
本文通过分析PASCAL语言作为算法设计语言而存在的主要缺陷,借鉴D.Watt的△之设计原则,而定义了一个小型的算法语言L。文中详细地给出了它的具体文法、抽象文法和静态语义。通过L的设计和描述,对算法语言设计与规范的有关问题进行了有益的探索。  相似文献   

10.
网络通信协议的属性文法规格说明   总被引:4,自引:0,他引:4  
房鼎益 《软件学报》1998,9(4):296-300
本文给出一个基于属性文法的网络通信协议的形式说明与自动生成的模型.首先引入了一个扩展的属性文法描述工具,讨论了用其描述协议的并行、同步、延时(时序)等特性的有关问题;然后研究了基于属性文法的网络通信协议自动生成环境及其核心算法——属性计算(即语义分析)算法.  相似文献   

11.
AGDL是一个属性文法定义语言,用来进行编译程序自动生成的说明。AGDL具有抽象数据类型的定义的施用型(Applicative language)语言,因此属性文法规则简明易读,是用来发展编译程序生成的重要工具语言。  相似文献   

12.
孙淑玲  郑启龙 《软件学报》1996,7(Z1):199-204
本文构造的XYZ/NGAE系统是建立在属性文法基础上的前端编译程序自动生成系统.本文在概述了属性文法及其描述语言之后,简要地介绍该系统的体结构以及为减少空间开销而采用的优化措施.  相似文献   

13.
本文详细讨论了有关属性文法的基本概念,属性文法的两种分类方法,两种分类之间的关系及属性文法的判定问题。本文还讨论了如何用属性文法定义编译程序的遍体制说明及与指称语义的关系。最后讨论了属性文法在编译程序中的应用与属性计算器的程序处理。  相似文献   

14.
逐步求精法获取上下文无关文法   总被引:3,自引:0,他引:3  
文法推断研究如何从语言的有限实例,通过归纳推断获取语言的文法定义。文中提出一个基于逐步求精的上下文无关文法推断方法,以尝试将文法推断用于替代或帮助传统手工的文法构造工作。文中的推断方法以Angluinh的交互式学习模型为框架,以逐步求精和复用为主要策略,具有增量式获取结构自然的文法的特点。  相似文献   

15.
本文介绍了一种基于属性文法的编译结构设计方法。本编译设计方法采用两遍扫描,语法分析采用自顶向下的分析技术,并与属性文法中对继承属性的自顶向下计值过程揉合在一起,而在第二遍处理中,进行自下而上地对综合属性的计值。这样就很自然地将属性文法的思想和办法运用于编译结构设计之中,实践表明,其效果是好的。  相似文献   

16.
上下文相关图文法分析及其应用初探   总被引:1,自引:0,他引:1  
冉平  石兵  马晓星  吕建 《计算机科学》2006,33(3):255-260
图文法是一种对可视化语言进行形式化定义的元语言,具有表达自然、能力强大的特点.随着使用可视化语言的最终用户编程技术的广泛应用,图文法分析尤其是上下文相关图文法分析在工程应用中的重要性日益突出.国内外相关文献或着重于纯理论探讨,或局限于特定语法类的特定应用,不利于工程应用人员参考.本文选取简洁明了的符号体系,介绍上下文相关图文法分析的一般性过程,并将其中规则选取关键步骤描述为CSP问题,利用已有的针对CSP问题的优化方法来优化算法,介绍了现有的优化方法并给出实现算法;同时,结合自身实践,讨论其在一个面向体系结构的Web服务集成系统中的应用.  相似文献   

17.
4.用属性文法进行编译程序设计近些年属性文法得到广泛的发展与应用.用属性文法进行编译程序设计可以是工具的辅助设计,也可以是人工进行设计.我们在这里主要介绍程序员如何根据属性文法的定义进行编译程序设计,并假定读者对属性文法的基本概念已经清楚.4.1属性文法的分类及判定问题  相似文献   

18.
本文介绍了一个基于属性文法的编译程序生成系统BSX。该系统能接受较大的前后义无关属性文法类。并且由于采用了ALL(1)语法分析方法和局部多遍从左到右属性计算法,使得产生出的编译程序结构简单、高效,适合于在微型机上运行。  相似文献   

19.
本文定义了一种新的属性文法类——前后义无关属性文法。提出了一种适合该属性文法类的属性计算方法——局部多遍属性计算法。 文中证明了,在保证属性计算与具体应用无关的前提下,前后义无关属性文法具有最强的表达能力,而局部多遍属性计算法则具有最佳的实现效率。 基于上述理论,作者构造了编译程序生成系统BSX。  相似文献   

20.
人们曾为解决特定的识别问题而提出了许多图象描述语言。但到目前为止,还没有任何一种能有效地克服手写字符的形状差异对句法识别的影响。本文在K.S.Fu的形状属性文法的基础上,发展了一种带有位置和形状属性的文法。它只需7个简单的模式元,句子的长度可以人为地加以控制。这种语言的优点是较好地平衡了属性文法的句法部分和词意部分的相对关系,具有较强的描述能力及灵活性,能有效地克服形状的各种变化对句法识别的影响。  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号