共查询到20条相似文献,搜索用时 15 毫秒
1.
AGDL是一个属性文法定义语言,用来进行编译程序自动生成的说明。AGDL具有抽象数据类型的定义的施用型(Applicative language)语言,因此属性文法规则简明易读,是用来发展编译程序生成的重要工具语言。 相似文献
2.
本文构造的XYZ/NGAE系统是建立在属性文法基础上的前端编译程序自动生成系统.本文在概述了属性文法及其描述语言之后,简要地介绍该系统的体结构以及为减少空间开销而采用的优化措施. 相似文献
3.
杜为民 《计算机应用与软件》1987,(2)
本文介绍了一个基于属性文法的编译程序生成系统BSX。该系统能接受较大的前后义无关属性文法类。并且由于采用了ALL(1)语法分析方法和局部多遍从左到右属性计算法,使得产生出的编译程序结构简单、高效,适合于在微型机上运行。 相似文献
4.
本文构造的XYZ/NGAE系统是建立在属性文法基础上的前端编译程序自动生成系统。本文在概念了属性文法及其描述语言之后,简要地介绍该系统的体结构以及为减少空间开销而采用的优化措施。 相似文献
5.
6.
7.
本文介绍了利用属性文法自动生成编译程序的总体结构和语义计算器的一般结构,还讨论了语义分析程序的结构,递归子程序的非范式与范式静态程序结构,着重讨论了目标程序(C语言)的输入范式数据结构、递归子程序目标范式结构。 相似文献
8.
9.
屈延文 《计算机研究与发展》1985,(11)
4.用属性文法进行编译程序设计近些年属性文法得到广泛的发展与应用.用属性文法进行编译程序设计可以是工具的辅助设计,也可以是人工进行设计.我们在这里主要介绍程序员如何根据属性文法的定义进行编译程序设计,并假定读者对属性文法的基本概念已经清楚.4.1属性文法的分类及判定问题 相似文献
10.
近年来,在增量式程序设计环境的领域中,许多工作在致力于开发各种各样的功能和特色。而在增量程序设计环境的形式化描述和自动生成方面所做的工作还很少。属性文法是用来表示程序设计语言语义的很好的工具,它已经被成功地应用于编译程序的自动生成。但当应用于增量程序设计环境时,遇到了一些特殊的困难。困难之一就是属性增量计值的效率问题。T.Reps在这方面做了一些工作,本文改进了他的工作。我们对应用于增量程序设计环境的属性文法作了一个修改,然后提出了一个针对修改后的属性文法的增量计值算法。这一算法在时间和空间上都优于Reps的算法,并且在时间上是最优的。 相似文献
11.
一个自动编译系统ACS 总被引:1,自引:0,他引:1
本文介绍一个自动编译系统ACS。对某上下文无关文法语言,写出其词法描述、语法描述、语义描述和目标机描述。ACS系统可以自动生成此语言在目标机上的编译程序。ACS系统由六个子模块组成:词法自动生成器、语法自动生成器、语义自动生成器、中间语言转换程序、优化程序和代码自动生成器。本文将分别讨论这六个子模块的原理和功能,还将给出用ACS系统生成的一个编译程序实例—Mini_Ada编译程序。 相似文献
12.
LR分析法在词法分析器自动构造中的应用 总被引:7,自引:2,他引:7
提出了一种新的自动构造编译程序词法分析器的方法,LR分析法通常用于语法分析,但只要适当修改LR分析总控程序,就可将LR分析法用于词法分析器的自动构造。该方法的优点不仅在于将词法分析器自动构造方法与语法分析器自动构造方法统一,简化了编译程序的设计和构造,而且该方法自动化程序较高,只要确定描述单词的文法和词形编码表,便可自动生成任何程序设计语言编译程序的词法分析器。 相似文献
13.
本文介绍了一个用于编译程序测试的程序自动生成器,该生成器以编译程序对象语言的前后文无关文法作为输入,根据该语言的具体特点,对语言的数据对象采用了一种表结构的描述方式,并通过对表的操作,有效的解决了语言的前后文相关问题,该生成器不但可按语言文法的描述自动生成覆盖该语言各种语法现象的程序,而且还可按用户要求生成具有某种语法现象的程序,另外,该生成器在生成策略、生成算法及推导机制等方面也有自己显著的特色。 相似文献
14.
15.
网络通信协议的属性文法规格说明 总被引:4,自引:0,他引:4
本文给出一个基于属性文法的网络通信协议的形式说明与自动生成的模型.首先引入了一个扩展的属性文法描述工具,讨论了用其描述协议的并行、同步、延时(时序)等特性的有关问题;然后研究了基于属性文法的网络通信协议自动生成环境及其核心算法——属性计算(即语义分析)算法. 相似文献
16.
软件测试是软件工程的重要研究课题之一。本文把人工智能(AI),知识工程和属性文法多种知识和技术应用于软件测试,主要对编译程序测试中的知识分类和知识表示问题进行讨论,它是开发知识型编译程序测试环境的基本出发点。 相似文献
17.
徐建金 《计算机光盘软件与应用》2013,(20):91-92
KMP又被称作克努特——莫里斯——普拉特操作(简称KMP算法)它是一种模式匹配算法,这个算法的关键是根据给定的模式串W1,m,定义一个next函数。本文阐述了利用KMP算法的匹配思想,解决不包含莫字符串系列的正则文法,该正则文法主要是用在词法分析过程中找出程序中的错误的代码,且对应的自动机中无等价的状态。本文根据KMP、正则文法和自动机的定义和基本原理证明了此技术的可行性和正确性,为编译程序设计提供自动生成最小化正则文法的技术和实现程序以供参考。 相似文献
18.
19.
屈延文 《计算机工程与应用》1986,(1)
在NCI(Norrh China Institute Of Computing Technology),从80年初就开始了软件自动生成技术的研究,包括编译程序自动生成,顺序软件自动生成技术,并发软件自动生成,操作系统的自动生成,数据库及数据库管理系统的自动生成,通讯协议(protocol)的软件自动生成,基于知识库基础之上的软件设计的专家系统,以及非常重要的抽象数据类型软件库。 相似文献