顺序的公式翻譯

象ALGOL那样的一种祘法語言的語法,可很方便地描述成由一个叫做栈(Cellar)的元素所标志的状态序列。状态的轉变系由容許的状态—符号的偶所控制,这些状态—符号偶可以用一个轉換矩陣表示。語法的这种表述同时提供了一种极为簡单的规則,以把祘法語言中的語句翻譯为机器程序。然而,在某些最优处理的情况下(例如递归地址計祘),順序处理是行不通的。     

形式规约语言中函数运算的优化

在运行时刻,由于某些函数参数的取值 会造成一些函数被重复调用,这在编译时刻是无法被传统的优化器发现的.针对这种情况,提 出一种运行时刻的优化方法.它通过调用依赖图来消除被重复调用的函数.     

基于产生式集划分的上下文无关语言句子生成

给出了上下文无关文法(context-free grammar,简称CFG)产生式集的一种划分方法,可将产 生式分为两类.使用一类产生式进行推导时,推导过程将无限进行下去;使用另一类进行推导 时,推导过程将迅速结束.证明了CFG句子生成过程一定是先使用一类产生式使生成的句型不 断变长、变复杂,再使用另一类产生式使句型变成句子.据此,提出了一种可控制的通用句子 生成方法.其生成一条句子的时间和空间复杂度是O(r+n),其中n是生成句子的长度或深度 限制     

逐步求精法获取上下文无关文法

文法推断研究如何从语言的有限实例,通过归纳推断获取语言的文法定义。文中提出一个基于逐步求精的上下文无关文法推断方法,以尝试将文法推断用于替代或帮助传统手工的文法构造工作。文中的推断方法以Ａｎｇｌｕｉｎｈ的交互式学习模型为框架,以逐步求精和复用为主要策略,具有增量式获取结构自然的文法的特点。     

一个将黑白图象数据由离散化为连续的方法

本文提出一种求黑白图象连续表示的方法,针对质量要求最高的一种图象——汉字字形来讨论.所述方法可直接从汉字点阵数据得到描述汉字字形轮廓线的一组Bezier曲线,并可由此复原出原有点阵,从而表明了该方法对一般黑白图象的有效性.文章还讨论了实现字形数据连续化中遇到的若干计算机图形学方面的问题.     

获取上下文无关文法的一种交互式算法

本文提出一种交互式的上下文无关语言的学习算法，该算法是专门为ＳＡＱ系统设计的，所得到的文法能够自然地反映句子的内部结构，从而很容易刻划句子的含义（语义）。     

某机循环和子程序的组织

在某机上有六条指令用来控制循环和子程序的进出〔1〕,即604(#ZC),606(#FC),620(〔),622(〕),624(#SK)和626(#SG)。这些指令使用两个站和若干个寄存器,可以解决循环和子程序的非常出口(即不经由循环关门和返回指令而跳出)问题。这些寄存器和站之间信息传递的关系相当精微复杂,为了解和使用有关指令,直觉的观念是必不可少的;但以往的经验表明,对一定复杂程度的程序,其正确性问题只靠直觉往往是靠不住的。本文的目的就是要解决某机子程序和循环程序结构的正确性问题。文章分为七节,§1叙述六条指令的操作内容;§2定义循环的程序结构和有关规定;§3叙述有关寄存器、站和指令的直观含意;§4是本文的主要结果,即所述程序结构正确性的证明;§5定义子程序的结构;§6通过把子程序视为循环的特殊情形,而最后得到统一的结论;§7讨论了两个有关问题。只关心结论而对方法无兴趣的读者,无须读§4的证明和§7。但需要指出的是,文中的方法似是从事计算机功能设计和软件工作者应掌握的方法,这也是作者写本文的原因之一。     

Pattern Matching Compilation of Functions Defined in Context—Free Languages

LFC is a functional language based on recursive functions defined in context-free languages.In this paper,a new pattern matching algorithm for LFC is presented,which can represent a sequence of patterns as an integer by an encoding method.It is a rather simple method and produces efficient case-expressions for pattern matching definitions of LFC.The algorithm can also be used for other functional languages,but for nested patterns it may become complicated and further studies are needed.     

一种面向可理解性的可复用软件开发方法

本文介绍一种支持软件理解和复用的程序设计方法,以及实现该方法的实验性系统URS—1。     

汉字字形设计

本文介绍了汉字字形设计的一种新方法——图形学方法的基本思想和实际使用经验。文中与已有的其它方法作了比较,并论述了这种方法的意义。