共查询到20条相似文献,搜索用时 765 毫秒
1.
2.
屈延文 《计算机研究与发展》1985,(10)
本文将介绍编译程序自动生成的方法,该方法在NCI(华北计算技术研究所)用来发展编译程序自动生成系统(CSG).本文还详细地讨论属性文法以及如何使用属性文法进行编译程序设计. 相似文献
3.
屈延文 《计算机研究与发展》1985,(11)
4.用属性文法进行编译程序设计近些年属性文法得到广泛的发展与应用.用属性文法进行编译程序设计可以是工具的辅助设计,也可以是人工进行设计.我们在这里主要介绍程序员如何根据属性文法的定义进行编译程序设计,并假定读者对属性文法的基本概念已经清楚.4.1属性文法的分类及判定问题 相似文献
4.
5.
本文构造的XYZ/NGAE系统是建立在属性文法基础上的前端编译程序自动生成系统.本文在概述了属性文法及其描述语言之后,简要地介绍该系统的体结构以及为减少空间开销而采用的优化措施. 相似文献
6.
本文构造的XYZ/NGAE系统是建立在属性文法基础上的前端编译程序自动生成系统。本文在概念了属性文法及其描述语言之后,简要地介绍该系统的体结构以及为减少空间开销而采用的优化措施。 相似文献
7.
AGDL是一个属性文法定义语言,用来进行编译程序自动生成的说明。AGDL具有抽象数据类型的定义的施用型(Applicative language)语言,因此属性文法规则简明易读,是用来发展编译程序生成的重要工具语言。 相似文献
8.
9.
软件测试是软件工程的重要研究课题之一。本文把人工智能(AI),知识工程和属性文法多种知识和技术应用于软件测试,主要对编译程序测试中的知识分类和知识表示问题进行讨论,它是开发知识型编译程序测试环境的基本出发点。 相似文献
10.
本文介绍了利用属性文法自动生成编译程序的总体结构和语义计算器的一般结构,还讨论了语义分析程序的结构,递归子程序的非范式与范式静态程序结构,着重讨论了目标程序(C语言)的输入范式数据结构、递归子程序目标范式结构。 相似文献
11.
近年来,在增量式程序设计环境的领域中,许多工作在致力于开发各种各样的功能和特色。而在增量程序设计环境的形式化描述和自动生成方面所做的工作还很少。属性文法是用来表示程序设计语言语义的很好的工具,它已经被成功地应用于编译程序的自动生成。但当应用于增量程序设计环境时,遇到了一些特殊的困难。困难之一就是属性增量计值的效率问题。T.Reps在这方面做了一些工作,本文改进了他的工作。我们对应用于增量程序设计环境的属性文法作了一个修改,然后提出了一个针对修改后的属性文法的增量计值算法。这一算法在时间和空间上都优于Reps的算法,并且在时间上是最优的。 相似文献
12.
1.引言属性文法的概念是 Knuth 于1968年提出来的。我们知道,通常的编译程序,当要分析某一字符串时,首先辨认出语法结构,然后调用一语义程序。也就是说,语法分析和语义分析是分两步各自独立地进行的。下 相似文献
13.
14.
《计算机工程与应用》1977,(Z2)
形式语言的研究是计算机科学的一个重要领域。形式语言大约在1956年左右问世。那时Noam Chomsky给出一种文法的数学模型,这种文法与当时他所研究的自然语言有关。不久当程序设计语言ALGOL的语法由前后文无关文法定义时,便发现了,文法的概念对程序员是非常重要的。这样的研究自然会导致面向语法编译,并产生编译程序之编译程序的概念。自那以后的研究工作相当高涨,其结果致使形式语言和自动机理论之间的关系达到彼此不可分离的程度。时至 相似文献
15.
《计算机工程与应用》1974,(Z1)
《编译程序技术》根据编者对近几年来阅读国外文献的笔记的理解,几经修改而成。它主要介绍了已在Gries的著作中提到的那些文法的分析算法。在他的著作里,有些内容过于简单,国内文献又不甚多。为了使我国读者掌握几种文法的分析算法,特在《编译程序技术》里对此作了必要的补充,不时地加上我们的看法,充实了一些例子。此外,我们还引进了弱优先文法概念,并 相似文献
16.
江明德 《计算机工程与设计》1985,(2)
本文探讨LL(1)/L—属性文法在函数式程序设计(FP)系统中表示的可能性,提出“将此类属性文法转换成FP程序”的法则,从而,属性文法实现成为FP系统中可执行的程序。本文工作的意义之一在于:它开拓了“使数据制导的程序设计方法在FP系统中得以自动化”这样一个领域,并作了初步工作。 相似文献
17.
一个自动编译系统ACS 总被引:1,自引:0,他引:1
本文介绍一个自动编译系统ACS。对某上下文无关文法语言,写出其词法描述、语法描述、语义描述和目标机描述。ACS系统可以自动生成此语言在目标机上的编译程序。ACS系统由六个子模块组成:词法自动生成器、语法自动生成器、语义自动生成器、中间语言转换程序、优化程序和代码自动生成器。本文将分别讨论这六个子模块的原理和功能,还将给出用ACS系统生成的一个编译程序实例—Mini_Ada编译程序。 相似文献
18.
19.
LR分析法在词法分析器自动构造中的应用 总被引:7,自引:2,他引:7
提出了一种新的自动构造编译程序词法分析器的方法,LR分析法通常用于语法分析,但只要适当修改LR分析总控程序,就可将LR分析法用于词法分析器的自动构造。该方法的优点不仅在于将词法分析器自动构造方法与语法分析器自动构造方法统一,简化了编译程序的设计和构造,而且该方法自动化程序较高,只要确定描述单词的文法和词形编码表,便可自动生成任何程序设计语言编译程序的词法分析器。 相似文献
20.
模式的递归结构影响它的形式语言性质,成为模式结构描述的复杂问题之一.本文系统
地研究了递归结构的性质,按基本递归结构划分子模式,并以句法-词义方法对它们作分层文
法描述,从而建立了递归结构的有效描述体系.程序文法、属性文法以及由此派生的递归条件
文法和递归属性文法,都能成功地按此体系描述各种递归结构,这些文法的描述能力也因而得
到阐明. 相似文献