二级形式语义与语义导引编译

本文给出了一种形式语义方法,它能使形式语义与编译一致。这种方法的基础是一时序逻辑语言,一方面它是一种逻辑系统,故其语义简明,便于形式化和有效地实现;另一方面它又是一种中间程序语言,其它高级语言的语义可以用严格形式转换的方法投射到它之上,这样形成的一种二级形式语义本身即构成一种编译转换。     

一种自繁殖的图林机

I.Von Neumann 在[7]中曾指出,他提出的自繁殖机概念是对通用图林机概念的一种扩充.但他同时又认为图林机概念不适于用来讨论自繁殖机的问题.因为图林机“纯粹是计算的机器,它们的输出只是一条打印着0和1的带子”,而他“所要构造的是一个这样的自动机,它的输出本身是另一自动机”.由于这个原因,Von Neumann 在构造自繁殖机时没有采用图林机概念.但是,从他第二次构造的自繁殖机来看,他所考虑的只是群     

论指命系统的递归性

<正> 本文主要目的之一是:试图应用能行性理论作为工具对数字计算机上的几组指令系统的递归性进行讨论.其中,特别注意到条件转移指令及重复指令的作用.在§2中讨论的是一组具有原始递归性的指令系统,在§3中则讨论了几组具有部分递归性的指令系统.     

LR(K)的语法分解与FPL程序的优化

<正> LR(K)文法是一具有以下优点的形式文法:受限制小;查错功能强;翻译速度快;便于机械生成.但不足之处是:状态多,颇费存贮;且其表示方法不便于阅读,亦不便于插入语义子程序. FPL(Floyd-Evans Production Language)是一种适于表示语法分解程序的形式语言,其优点是便于阅读和插入语义子程序.不足之处是较难以生成紧凑的FPL程序.