再论函数式程序設计語言的合成邏輯语义学

本文继文献(1)之后,在合成逻辑这一数学基础上,再次探讨函数式程序设计(FP)语言的语义学。FP语言被处理成一种多层次结构的合成逻辑。第一层(基础层)是Curry的合成逻辑。在此层之上,逐次扩展而构造成相继较高的各层。第二层是这样的合成逻辑,它就是所谓的SK归约机。第三层逻辑可说是一种扩充的SK归约机。最后,在第三层的基础上构造出第四层,它就是FP语言。     

正式函数式程序设计语言的一种操作性语义模型

本文塑造了正式的函数式程序设计(FFP)语言的一种操作性语义模型,它实质上是LISP虚拟机上的一个解释程序。     

μ—Petri网多微处理机实现的设计方法论

本文探讨在以多微处理机实现μ-Petri网(一种加以半解释的安全Petri网)这一工作中可遵循的设计方法论。先定义μ-Petri网可描述相当广泛类型的并行异步过程的控制结构。引入μ-Petri网的标准型式后,将μ-Petri网转换成标准的异步时序线路,再写出此异步时序线路在容许输入序列集下的转移/输出表(编了码的流程表)。分裂转移/输出表(如果给定的μ-Petri网规模相当大,特别是p结点为数相当多,因而此表也相应大),提出相应的多微处理机总体结构。以M—6800微计算机族为例,阐明如何实现μ-Petri网成多微处理机系统。     

有限自动机的状态—反应转移图与准正规算法

找出以状态-反应转移图给定的有限自动机的准正规算法,以此把有限自动机作为准正规算法的一个特殊类。在准正规算法的基础上,形象地比较有限自动机,正规算法及算法逻辑图式。     

关于时间逻辑方程的可解性

在由所建立起来的、数字式自动机的逻辑设计的、词混合运算方法(运算子法中,时间逻辑方程组乃是描述自动机的操作的《动力学》与表述自动机的结构的逻辑函数之间的关系的方便工具。本文的任务在于:从给定的时间逻辑方程 F(d,)～co 的、函数 F(d,)的特异析取范式,直接地从F(d,)～co 的等效式 R~v(B,x)～co 的形成词 B来求方程的可解性的必要条件,而绕过求函数 F(d,)的最简化析取范式的手绩。并且,基于文中的结果,可制定求时间逻辑方程的可解性的必要条件的算法,从而为解更加繁复的具有多个变目的时间逻辑方程或方程组的可解性问题提供机器化的基础。     

用PROLOG模拟Lyusia语言中状态转移编程体裁

新人工智能语言 Lyusia 是一种多体裁多层次的新型编程语言。它在语法上和在语义上有机地协调地统一了五种编程体栽:泛函的,逻辑的,集合论的,状态转移(过程的与法则的相结合)的及数据流的。本文通过一些例子,用 PROLOG 来模拟 Lyusia 语言中状态转移编程体裁,以达到:(1)阐明状态转移编程体裁的逻辑本质。(2)显示“状态转移编程体裁既蕴含着过程性,又蕴含着说明性(declarative)”。(3)显示“状态转移编程体裁是过程编程体裁与基于法则编程体裁的结合”。(4)表明状态转移编程体裁在表达能力方面的简洁、灵活、善变。(5)说明状态转移编程体裁的应用。     

脈冲輸入型異步时序机的周期性实現

本文探讨異步时序机的一个特殊类(因而,也可对待那些能夠转换成该类的时序机)——脉冲输入型異步时序机的结构综合方法。主要是:(1)探究脉冲输入型異步时序机的分解,即分解成两个有机的部分,周期性子时序机和非周期性子时序机,前者实质上是内动式的时钟,用它(与输入讯号一起)去控制后者。(2)根据对分解的考察结果,提出特殊的适用于脉冲输入型異步时序机的,无危险竞走的内态编码法,所谓“各个击破法”,它使得内态编码比用一般方法进行起来显得更为简捷。实现成的线路将是计数器与“小”異步时序线路的复合体(周期性实现)。     

用Petri网模拟Turing机

本文从信息变换的角度来阐明“如何用Petri网模拟Turing机”。由于Turing机的带子是潜在无穷长的,因而所用的Petri网的p结点集和t结点集也不可能是有限的,该Petri网将是无限的ZP网[1](具禁止弧的Petri网)。     

基于Petri网的函数式程序的結构程序設計方法

本文提出一种“用来开发规模不小的、并发的函数式程序(FP程序)的结构程序设计方法”,它基于一种“带解释的Petri网图式(ISPN)”。待解的问题写成以ISPN表达出来的形式说明。由于ISPN能逐步求精,自顶向下的结构程序设计方法也能移用于开发(大型并发)函数式程序。最后阶段,根据文中提出的形式化了的法则,可以将ISPN表示成函数式程序。     

SELF~2,泛函·方程·逻辑·集合论四体裁一体化的编程语言:语言设计

设计了一种新人工智能编程语言SELF~2,它融合四种编程体裁(泛函,方程,逻辑,集合论)于一体,将成为Lyusia语言新版本的核心。SELF~2语言的设计分成四个阶段:(具函数、方程和逻辑三编程体裁的)SELF~2核仁设计,向集合论的扩展,蚋入表这个特殊构造,向泛函的扩展。SELF~2的实现工作大致地可按此四阶段逐一实现,逐步扩展。SELF~2语言核仁及SELF~2的各阶段扩展成的语言均可各自成为独立的编程语言。SELF~2语言的设计思想主要基于g_(γω)理论,它是g_(γω)的一应用系统(语言)的子集。