编译程序的范式结构及用属性文法进行编译程序设计(下)

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

编译程序的范式结构及用属性文法进行编译程序设计(上)

本文将介绍编译程序自动生成的方法,该方法在NCI(华北计算技术研究所)用来发展编译程序自动生成系统(CSG).本文还详细地讨论属性文法以及如何使用属性文法进行编译程序设计.     

编译程序自动测试中的知识表示

软件测试是软件工程的重要研究课题之一。本文把人工智能(AI),知识工程和属性文法多种知识和技术应用于软件测试,主要对编译程序测试中的知识分类和知识表示问题进行讨论,它是开发知识型编译程序测试环境的基本出发点。     

前后义无关属性文法

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

BSX:一个在微型机上实现的编译程序生成系统

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

具有抽象数据类型的属性文法定义语言的编译结构

本文介绍了利用属性文法自动生成编译程序的总体结构和语义计算器的一般结构,还讨论了语义分析程序的结构,递归子程序的非范式与范式静态程序结构,着重讨论了目标程序(C语言)的输入范式数据结构、递归子程序目标范式结构。     

AGDL——一个属性文法定义语言

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

自动生成前端编译程序的一种方法*

本文构造的XYZ/NGAE系统是建立在属性文法基础上的前端编译程序自动生成系统．本文在概述了属性文法及其描述语言之后，简要地介绍该系统的体结构以及为减少空间开销而采用的优化措施．     

自动生成前端编译程序的一种方法

本文构造的ＸＹＺ／ＮＧＡＥ系统是建立在属性文法基础上的前端编译程序自动生成系统。本文在概念了属性文法及其描述语言之后，简要地介绍该系统的体结构以及为减少空间开销而采用的优化措施。     

一种新的编译程序测试用例自动生成策略及其实现

自动生成测试用例是测试编译程序的途径之一,目前一般均使用Purdom提出的产生式选择策略来自动生成测试用例,本文提出了描述前后文无关文法的一种图表示方法,这种图称为文法的DG图。基于DG图,我们给出了一种优于Purdom策略的新的编译程序测试用例自动生成策略,并讨论了这种策略的实现原理。     

序言

形式语言的研究是计算机科学的一个重要领域。形式语言大约在1956年左右问世。那时Noam Chomsky给出一种文法的数学模型,这种文法与当时他所研究的自然语言有关。不久当程序设计语言ALGOL的语法由前后文无关文法定义时,便发现了,文法的概念对程序员是非常重要的。这样的研究自然会导致面向语法编译,并产生编译程序之编译程序的概念。自那以后的研究工作相当高涨,其结果致使形式语言和自动机理论之间的关系达到彼此不可分离的程度。时至     

属性文法中变元间的关系

本文从模式的语义、句法描述着眼,分析了一个属性文法的产生式变元间的几种关系,把 这些关系作为语义部分的内容,从而推广了属性文法,以推广后的属性文法为基础,引入控制 连接图作为主要的限制条件,提出一种"语义程序文法",并把标准模式与畸变模式之间的联系 用限制条件描述.最后利用变元间的关系,把模式的描述与知识的表达联系起来.     

利用多重依赖关系的增量属性计值方法

本文利用属性文法中各个属性之间的多重依赖关系,针对某一类属性文法提出了一种新的增量属性计值算法。它不仅空间开销少,而且在时间上可以被证明是最优的。更进一步,我们还将该算法推广到能适用于一般的属性文法。同时保持了时间最优性与空间复杂性的价不变。     

模式识别的一类属性文法

本文叙述了在通常的文法中引入两个基元间连接属性的重要性,从而看出在属性文法 中,句法和词意两部分间可以有折衷的关系,即增加后者的复杂性将会使前者得到简化,反之 亦然,这样使便于应用的有限状态属性文法成为基本的形式.这里作者吸取了PDL,Plex Grammar,Tree Grammar中连接关系的优点,引入连接属性,提出一类关联属性文法.这类 文法可以有效地描述和识别曲线段构成的图形,如汉字、电子线路图等.     

一种识别线划图形的方法

把模式识的统计方法和句法方法统一起来成为一种有效的方法,已经有过一些研究, 取得了进展.本文在作者用属性文法来统一两种方法的工作基础上,借鉴认知心理学关于记 忆和语言的一些论点,讨论了高维属性文法的句法和词意之间的折衷关系,对于线划图形,给 出句法、词义以及模块之间关系信息的距离度量,从而可以用最小距离准则来进行线划图形 (尤其是汉字)的识别.     

基于非局部属性计值的交互式环境中的非局部依赖关系的实现

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

形式语言理论

形式语言理论对于计算机程序语言和编译程序的研究有着重要意义.本文综述了N.Chom-sky等人在这方面所做的工作,通俗地介绍形式语言理论中四种类型的文法(有限状态文法、上下文无关文法、上下文有关文法和0型文法)以及与之相应的四种自动机(有限自动机、后进先出自动机、线性有界自动机和图灵机).可供计算机软件和数理语言学工作者参考.     

增量程序设计环境中属性文法的增量计值

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

网络通信协议的属性文法规格说明

本文给出一个基于属性文法的网络通信协议的形式说明与自动生成的模型.首先引入了一个扩展的属性文法描述工具,讨论了用其描述协议的并行、同步、延时（时序）等特性的有关问题；然后研究了基于属性文法的网络通信协议自动生成环境及其核心算法——属性计算（即语义分析）算法.