跳到主要内容

引言

在 NWG/RFC #80 中,我们提到了数据重构的需求,以及一个用于执行这些操作的 Form Machine 的编译器/执行器版本。

本备忘录对 Form Machine 提出了一种不同的做法。具体而言,我们描述一个语法驱动的解释器,它作用于一个作为有序替换规则集合的文法。 在解释器描述之后,给出了一些“真实世界”的示例,说明必须发生在 RAND 控制台与 UCLA 360/91 上的远程作业系统之间的、所需的数据重构。 最后,我们建议可以通过使用 Form Machine 以及在代码中先验指定的两个系统形式,来简化 NWG/RFC #80 中提到的 Protocol Manager。

注意事项: Form Machine 并非意在成为一种通用编程语言。 请注意其中没有声明语句等。