组织循环和子程序的一组指令

§1.引言循环的效率如何,是决定一台计算机或一个语言使用效率的重要因素之一。本文建议一组指令,可用来组织含非常出口的非递归子程序和循环,以及无奇点的递归子程序。文中证明了相应程序结构的正确性,并给出一个存储分配算法。这组指令较某机现行方案为简,论证起来也简单得多。在§2中说明机器的结构和指令。§3描述循环的程序结构和给出正确性证明。§4描述子程序的结构。§5介绍 S 站存储分配算法。     

一个高质量汉字笔划字形到轮廓字形的转换系统

本文介绍一个基于三阶Ｂｅｚｉｅｒ曲线的字形转换系统ＳＯＣＳ（ｓｔｒｏｋｅｔｏｏｕｔｌｉｎｅｃｏｎｖｅｒｔｉｏｎｓｙｓｔｅｍ）．该系统作为汉字字形设计系统ＣＣＤＳ（Ｃｈｉｎｅｓｅｃｈａｒａｃｔｅｒｄｅｓｉｇｎｓｙｓｔｅｍ）的后端，把ＣＣＤＳ产生的多笔划曲线轮廓字形数据加工成整字曲线轮廓字形数据．其结果适于多种高精度输出，如Ｐｏｓｔｓｃｒｉｐｔ印字机．ＳＯＣＳ系统具有一定的通用性，它不只限于接受ＣＣＤＳ的加工结果，还可以作为独立的系统使用．     

上下文无关语言分析树的一种表示形式

介绍了上下文无关语言（ＣＦＬ）的句子的一种分析树表示,它适用用于一类与以往不同的ＣＦＬ的应用,即对分析树空间效率要求较高且不需标记分析树的应用,典型的就是把ＣＦＬ的句子用作算法加工对象,这种表示比传统分析树不仅空间较小,而且进行结构匹配的快速快,还介绍了这种分析树表示的实现技术。     

一个支持规约获取的形式规约语言

该文介绍了形式规约语言LFC设计的一些主要方面，并通过例子说明了LFC的一些特色。形式规约语言LFC是为支持软件形式规约的获取工作而开发的。该语言以一种新的递归函数，即定义在上下文无关语言上的递归函数为基础，以上下文无关语言为数据类型，在语言级支持规约获取。LFC语言已被用作形式规约获取系统SAQ的一部分。使用表明，LFC是一个能力强、易使用的语言，适合软件形式规约获取之用，并且适合其它一些用途。     

一个产生高质量汉字的试验性系统

本文介绍了产生高质量汉字的一种方法和有关的软件系统,可用来设计和印出各种字体的汉字及符号。     

创刊贺词

多年来深感国内缺少专门刊载计算机软件研究成果的学术刊物。《计算机应用与软件》杂志的诞生是值得庆贺的。八十年代是信息的年代。其主要标志是,第一,计算机与计算机网面向人人;第二,计算机化和计算机网化的服务行业面向人人;第三,在某种程度上人们的日常生活受到计算机的控制与管理。这就是说,计算机应用大普及,它渗透到整个社会的各个领域,渗透到人们的日常生活,从而,整个社会将有一个大的飞跃,进入到信息化社会。这就是所谓的第四次产业革命。不言而喻,在这次革命中,计算机应用和计算机软件将要起突     

Recursive functions of context free languages (Ⅰ)——The definitions of CFPRF and CFRF

It is intended to establish the recursive function theory on context free languages (CFLs). In this paper, the function class CFRF and its proper subclass CFPRF were defined on CFLs; it is quite straightforward to use them for describing non-numerical algorithms. In fact, they are respectively the partial recursive functions and primitive recursive functions of context free languages. The structure induction method for proving CFPRF function properties was presented. A method for CFL sentence enumeration was given, the minimization operator was defined. Based on CFL sentence enumeration, the minimization operator evaluation method was given. Finally, the design and implementation principles of executable specification languages with the CFRF as theoretical basis were discussed.     

Recursive functions of context free languages (Ⅱ)——Validity of CFPRF and CFRF definitions

In this paper we proved that the function class CFRF and its proper subclass CFPRF are respectively the partial recursive functions and primitive recursive functions of context free languages (CFLs). Also we discussed the relation between them and recursive functions defined on other domains . It is indicated that the functions of natural numbers and/or symbol strings (words) are functions of CFLs. Several frequently used primitive recursive functions on words were given, including logical connectives, conditional expressions. Also the powerful operators (bounded maximization and minimization operators) for constructing primitive recursive functions were defined. Two important nontrivial algorithms, the characteristic function of arbitrary CFL and the parse function of CFL sentences were constructed. Based on them, the method for extending or restricting function domain was described.