一种用FPL表示LR(K)分解程序的方法

LR(K)文法是当前最受注意的形式文法之一。其优点是:(1)受限制小,(2)查错功能强,(3)翻译速度快,(4)便于机械生成。其不足之处是:状态过多,颇占存储;其表示方法亦有不足之处,例如,插入语义子程序不便,亦不便于阅读。FPL(即 Floyd-Evans产生式,我们称为归约式)是一种被认为适于表示语法分解算法的形式语言,其优点是便于插入语义子程序,亦便于阅读。但不足之处是,较难于生成紧凑的 FPL 程序。本文中将介绍一种从LR(K)的位式集表机械生成 FPL 程序并予以优化的方法。我们认     

适应于多种程序设计方式的程序发展环境

一、前言 Ada语言的问世标志着结构程序设计时期的结束。当前程序界一个普遍关心的问题是:“Ada以后”的程序领域,主要思潮将是什么?其基本特征将是怎样的? 我认为,程序自动化的研究可以分为三个阶段: 第一阶段是高级语言兴起阶段。即从Fo-rtran,Algol 60直到PL/1,Algol 68。此时期中人们把程序自动化的目标归结为实现高级语言,主要关心的问题是高级语言的表示能力(expressibility),不少人以语言表示能力的强弱作为衡量自动化水平的标准。第二阶段是结构程序设计阶段。它是前一思想的反作用。在大型软件的研制过程中,人     

关于汉字输入问题

一、问题近年来,许多人在寻找一种计算机上输入和输出汉字的好方法。在我看来,对这个问题也同时有不少混乱的认识在流行。这可能是对这个问题有误解所致。人们常常容易把汉字输入输出想成是常见符号输入输出的一种简单推广,而事实并非如此。例如,汉字的输入和输出本身即是两个不同的信息加工问题。我想,对问题作一些澄清将有助于问题的解决。     

反应系统的连续时序逻辑表示和验证

引进一个称为LTLC的连续时间时序逻辑，用来对反应系统进行规范与验证．LTLC的一个重要特点是它能在统一的逻辑框架下表示反应系统及其性质，这样就可将系统与性质问的满足关系转化为逻辑公式间的蕴涵关系．同时，采用非负实数集作为时间域还使我们可以利用标准的存在量词来表示变量隐藏，并可用逻辑蕴涵来表示反应系统间的求精关系．该文首先给出了LTLC的一个简单介绍，然后讨论了如何使用LTLC对反应系统进行表示与推理，最后证明了一个关于LTLC的可判定性结果．此结果可用于有穷状态反应系统的自动验证．     

XYZ系统在动画设计中的应用

ＸＹＺ系统是一套以线形时序逻辑为基础的ＣＡＳＥ环境系统，其核心是时序逻辑语言ＸＹＺ／Ｅ．ＸＹＺ／ＡＤＬ（ａｎｉｍａｔｉｏｎｄｅｓｃｒｉｐｔｉｏｎｌａｎｇｕａｇｅ）是ＸＹＺ系统在动画领域的应用．马华东博士采用基于时序逻辑的动画描述模型ＴＬＡＤ（ｔｅｍｐｏｒａｌ－ｌｏｇｉｃ－ｂａｓｅｄａｎｉｍａｔｉｏｎｄｅｓｃｒｉｐｔｉｏｎｍｏｄｅｌ），提出了动画剧本描述语言（ＳＤＬ／Ａ）．本文介绍的ＸＹＺ／ＡＤＬ语言是以ＸＹＺ／Ｅ的框架为基础扩充ＳＤＬ／Ａ而成．它使用ＸＹＺ／Ｅ中面向对象程序设计的基本结构——代理机构（Ａｇｅｎｔ）作为基本描述单元．代理机构由通讯进程和相应的包块构成，包块处理对象封装，进程处理通讯．从而能更方便地刻画动画过程中的复杂、多层次的角色（包括父子角色）的运动特征及多角色之间的同步协调关系，并且在统一的逻辑框架下实现了计算机动画中运动对象的行为抽象和运动的抽象描述，更具一般性．     

在XYX／E中实现混成实时系统——蒸气锅炉控制问题的解决

XYZ／E是一个时序逻辑系统,同时也是一种时序逻辑程序设计语言．XYZ／E能够在统一的框架下表示高层和低层的描述,所以便于软件系统的描述与实现．该文对基于XYZ／E的蒸气锅炉问题进行了描述与实现,并介绍了为该问题实现的图形用户界面．     

基于XYZ/RE的多媒体同步器自动构造方法

XYZ系统是一个以增强软件可靠性和提高软件生产率为目的的程序开发支撑系统.它由时序逻 辑语言(temporal logic language,简称TLL)XYZ/E和以该语言为基础的一组软件工程工具组 成.为了研究XYZ系统在多媒体领域中的应用问题,介绍了一种依据多媒体对象时序描述 自动生成用XYZ/RE表示的播放同步器的方法,XYZ/RE是时序逻辑语言族XYZ/E中表示实时系统 的子语言.与相关工作比较,该方法不仅可以处理简单的时序关系,而且可以处理嵌套的时序 关系,所产生的同步器可以复用于不同的节目.     

基于XYZ/E描述和验证容错系统

研究使用XYZ/E描述和验证容错系统.基于XYZ/E中可执行程序P对应的状态转换系统对其错误环境F建模,通过错误转换给出错误影响程序P_F;基于P,F和恢复算法R,通过容错转换给出容错程序P_F-R;定义了程序P,Q之间两种求精关系:容错求精和向后恢复求精,基于这两种求精关系可直接从程序P的规范推导出程序Q满足的一些性质.     

带有时钟变量的线性时序逻辑与实时系统验证

为了描述实时系统的性质和行为,10多年来,各种不同的时序逻辑,如Timed Computation Tree Logic,Metric Interval Temporal Logic和Real-Time Temporal Logic等相继提出来.这些时序逻辑适于表示实时系统的性质和规范,但不适于表示实时系统的实现模型.这样,在基于时序逻辑的实时系统的研究中,系统的性质和实现通常是用两种不同的语言来表示的.定义了一个带有时钟变量的线性时序逻辑(linear temporal logic with clocks,简称LTLC).它是由Manna和Pnueli提出的线性时序逻辑在实时情况下的一个推广.LTLC既能表示实时系统的性质,又能很方便地表示实时系统的实现.它能在统一的语义框架中表示出从高级的需求规范到低级的实现模型之间的不同抽象层次上的系统描述,并且能用逻辑蕴涵来表示不同抽象层次的系统描述之间的语义一致性.LTLC的这个特点将有助于实时系统的性质验证和实时系统的逐步求精.