拓广属性文法

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

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

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

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

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

属性文法的概念和定理

1.引言属性文法的概念是 Knuth 于1968年提出来的。我们知道,通常的编译程序,当要分析某一字符串时,首先辨认出语法结构,然后调用一语义程序。也就是说,语法分析和语义分析是分两步各自独立地进行的。下     

生成编译程序的一个系统(Ⅰ):语法分析程序的生成系统

直接从源语言公式机械地生成相应的编译程序,这是编译系统研究的一个重要方面。它主要是研究如何设计出一个构造系统,将语言的语法公式作为初始信息供给构造系统,通过执行构造系统就可获得相应的编译程序。我们对此进行了初步探索,本文着重介绍语法分析程序的生成系统。此外,也介绍了与此有关的语法分析程序的形式以及对语言的一些规定。     

模式识别的一类属性文法

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

生成编译程序的一个系统(Ⅱ):语义处理的生成系统

我们在[1]中介绍了语法分析程序的生成,并指出在生成的分析程序中加入语义处理子程序后,可作为翻译程序。本文将介绍这种生成的方法,同时也介绍如何描述语义。文章中所涉及的目标计算机是DJS-6计算机。 一、语义描述 为了自动生成语义处理程序,首要的任务是如何描述语义。我们采用四元组来描述,即用     

属性文法及其有关问题

<正> 随着计算机得到越来越广泛的应用,对软件的编制周期和质量提出了更高的要求。特别是要求编译程序自动生成的愿望非常强烈。为了达到这个目的,许多科学工作者作了大量的工作,并取得了可喜的成绩[Aho 80]。在词法分析和语法分析的自动生成方面,从理论上和实践上都可以说是比较完善的。现在就剩下语义分析和代码生成的自动生成问题还没有完全解决。 为了做到语义分析的自动生成,首先就要找到一种方法来形式地描述程序语言的语义。这种方法应该做到:对于程序语言的设计者来     

属性文法在函数式程序设计系统中的表示

本文探讨LL(1)/L—属性文法在函数式程序设计(FP)系统中表示的可能性,提出“将此类属性文法转换成FP程序”的法则,从而,属性文法实现成为FP系统中可执行的程序。本文工作的意义之一在于:它开拓了“使数据制导的程序设计方法在FP系统中得以自动化”这样一个领域,并作了初步工作。     

前后义无关属性文法

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

词库的编译生成法和词库编译程序WLCP

一、问题的提出采用词组方式输入汉字是提高汉字输入效率的有力措施。目前,不少计算机汉字信息处理系统均具有词组输入功能。但是,系统不可能向用户提供一个通用词库。其原因是,汉语的词汇总量十分庞大,可达100万左右,欲建立这样一个“海量”词库,显然是不实际的。词是有面向性的,每个行业或专业都使用不同的基本词汇。如果要建立一个本行业或本专业     

属性文法的研究与应用

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

FORTRAN语言的一个属性文法

本文介绍了用属性定义语言ALADIN写的FORTRAN语言的属性文法。该文法描述了FORTRAN语言的语法结构及其静态语义,包括作用域规则、说明的建立、表达式分析和出错处理等。     

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

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

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

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