树计算机与树程序

本文通过一个很小的模型来引进树计算机和这种计算机上的程序——树程序的概念,并进行了有关的讨论。作者希望说明,在研究形式语言和编译系统的某些问题时,树计算机和树程序可能成为一种有效的工具。 在§1中,我们引进树计算机和树程序的概念。§2,§3用两种不同的方法处理了树程序的语义问题。这两种方法大体上相当于1]中的“计算模型”和“演绎理论”。§4中讨论了树程序作为一种“中间语言”的意义何在。