编译程序自动生成系统HMCGS的设计与实现

本文介绍一个基于范式有序属性转换文法NOATG的编译程序自动生成系统HMCGS。NOATG源于属性文法,可被用于描述程序语言的形式语义、编译程序的自动生成等领域。属性描述语言ADL是专为HMCGS系统设计的输入语言。HMCGS系统接受一个ADL语言程序,生成一个相应的目标编译程序。本文还简要介绍了HMCGS系统与目标编译程序的系统结构。     

二级属性文法的设计

本文给出一个将文法 G 划分为二级文法的算法,并讨论二种构造二级属性文法的方法,这是二级属性计算器乃至整个编译程序自动生成的基础.     

EL语言属性文法

介绍面向过程的程序设计语言－－ＥＬ语言属性文法的构成方法及其典型实例，它是属性文法编译程序生成系统的基础。     

LR(1)语法分析的自动构造

讨论了LR(1)语法分析器的自动构造,可判定给定的文法是否为LR(1)文法.若是,则自动生成给定文法的LR(1)分析表,并对任一输入串进行分析,判断其是否为给定文法的句子.论文相关的软件除可用于编译原理课程教学演示外,还可用于实际编译程序的LR语法分析器的自动构造.     

LR（1）语法分析的自动构造

讨论了LR(1)语法分析器的自动构造，可判定给定的文法是否为LR(1)文法．若是，则自动生成给定文法的LR(1)分析表，并对任一输入串进行分析，判断其是否为给定文法的句子．论文相关的软件除可用于编译原理课程教学演示外，还可用于实际编译程序的LR语法分析器的自动构造．     

L属性文法属性求值器的自动生成技术

提出一种L属性文法LL（1）属性求值器的自动生成技术.该技术充分利用L属性文法和LL（1）分析方法的特点,节省了属性求值器的存储空间,扩展了语义规则的描述能力．且实现了一本基于该技术的属性求值器自动生成系统．     

CORBA环境中分布式构件的构造

提出了一个基于CORBA的构件式的分布式系统构造模型。对于分布式构件和基于构件的分布式软件系统,均可用基于属性文法的软件构架描述语言进行形式化定义。通过例子描述了将基于属性文法的软件构架映射为CORBA对象的方法,同时还讨论了如何在CORBA环境中实现基于属性文法的软件构架的有关问题。     

关于二级文法的两个基本问题

作者认为二级文法的实用性质关键取决于两个基本问题。第一个基本问题是转调条件。本文首次提出部分转调条件和部分转调的概念,克服了原转调条件和完全转调的局限性。在此基础上,进一步讨论了LR文法、部分转调与子文法类之间的关系。第二个基本问题是入口状态前看集。本文证明了入口状态前看集不会缩小二级文法的文法属性。这篇文章中所讨论的内容是二级文法研究中所取得的重要进展。在M—68000微型机上已有效地实现了二级语法分析器自动生成系统6,进而有力地论证了这一研究结果的实用价值。     

工作流系统中路由图构造问题

针对工作流系统中的过程定义构造问题 ,结合实际的公文流转问题进行讨论 .提出系统工作模型 ,给出相应的路由图文法 .最后 ,利用实例验证了文法的正确性 .     

Fuzzy 2型属性文法与Fuzzy属性下推自动机

讨论了２型属性文法与属性下推自动机的关系,进一步给出了Ｆｕｚｙ上下文无关属性文法与Ｆｕｚｙ属性下推自动机,并详细讨论了二者的关系,达到了自动识别Ｆｕｚｙ２型属性文法语言的目的     

应用模块法杂凑语言的上下文无关文法

编译程序的编制过程中,人们首先接触是语言,而上下文无关文法是作为程序设计语言重要的语法描述工具。因此,只有将语言用上下文无关文法表示才能使用现有的技术,从而用计算机自动实现。通过应用模块法将语言进行模块化划分,并在模块内实现杂凑,能够成功地、方便地实现语言到上下文无关文法的转换。     

模糊上下文无关树文法

定义了模糊上下文无关树文法(PCFTG)，讨论了其构造性质，给出其分解定理及表现定理，进而讨论了由模糊上下文无关树文法生成的语言IO(Inside-out)，模糊IO树语言的封闭性．     

文法分划与调用条件

文［１］提出的文法分划是一个很重要方法。它不仅是我们构造语法分解自动生成系统ＸＹＺ／ＰＧ 的理论基础，而且对分划后文法使用ＬＲ方法生成的分析表状态数大为减少，因此使得ＬＫ方法 也能在内存较小的机器上成功地使用。对经分划后得到的子文法序列，我们使用顶下与底上相 结合的分析方法。本文对文［１］的各子文法之间的调用条件加以补充，并提出具体实施的步骤。     

程序状态转换函数(Ⅱ)

本文使用程序状态转换函数来验证程序的全正确性,由于讨论了程序运行中控制点位置的变化,这给验证有多个出口的程序提供了一个有效的工具.文章最后证明了一系列程序变换的等价性,由此推证编译程序生成过程保持了源程序的语义.     

关于属性G-(g-)量子文法与属性量子自动机

为了提高量子文法的描述能力，较好地克服上下文有关文法的难点，引入了属性G－（g-）量子文法、（广义）属性量子自动化等概念，进而研究了它们之间的关系，即：对每一给定的属性G－（g-）量子文法， 都可以构造出一个广义属性量子自动机Q，使得它们所接受的语言集相等，反之亦然。从而达到了自动识别属性G－（g-）量子语言的目的。     

由数组元素存贮地址求其下标的快速并行算法

编译程序是系统软件的一个重要组成部分,它是供用户长期使用的系统程序,因此,编译程序的工作效率是非常重要的,在编译过程中对数组元素存贮地址与相应下标值之间的转换速度也会影响编译程序的效率。本文我们给出并行机上数组元素从存贮地址到下标值转换的一种快速并行算法。算法是     

属性文法及其制导翻译

叙述了属性文法的简明定义及其在语法分析，语义分析和翻译过程中的作用，通过实例说明如何将预测文法改造成Ｌ属性文法，怎样构造相关的替换表，具体翻译时，将分析线与属性语义栈熔为一体，称作下推栈，通过总控程序对栈中符号的处理而实现对程序语言的翻译。     

抽象论域到数据结构的转换

给出了函数式语言到过程式语言转换的关键技术,即抽象论域到具体数据结构的转换技术.抽象论域的转换是抽象表达式到具体表达式转换、模式匹配处理的前提.函数式语言到过程式语言的转换,解决了函数式语言在具体实现和时间方面存在的大量动态函数复制的问题.这种转换技术可用于开发指称语义到解释器、指称语义到编译器、属性文法到过程式语言、属性文法到YACC(Yet Another Computer Compilier)输入文件的各种自动生成器.     

广义形式语言及其拓扑

在泛系理论的框架下,引入广义形式语言——泛语及其文法——泛系文法。通常,文法与它所产生的语言仅仅是松驰地联系在一起,为此需要定义一些考虑到生成过程的结构的文法等价概念,而拓扑的观点正好提供了比较文法与语言的一种可能性。本文详细地讨论了引入泛语上的拓扑途径。