跳到主要内容

RFC 83 - 数据重构的语言机

  • 状态: 未知
  • 发布日期: 1970 年 12 月 18 日
  • Stream: Legacy
  • 勘误: 无勘误

文档信息​

  • RFC Number: 83
  • Title: Language-machine for data reconfiguration
  • Authors: R.H. Anderson, E. Harslem, J.F. Heafner (RAND)
  • Date: 18 December 1970
  • Category: Unknown

摘要​

RFC 83 对 NWG/RFC #80 中引入的 Form Machine 提出了一种不同的做法：一个语法驱动的解释器，它作用于以有序替换规则集合表示的形式文法。文中描述了 Form Machine 本身——形式、规则以及三种项格式——连同约束项函数的限制与解释，随后逐一给出必须发生在 RAND 控制台与 UCLA 360/91 上的远程作业系统之间的数据重构示例：字面量插入、删除、输出缓冲区中的留空、任意长度、转置、字符串长度计算，以及重复符号的展开与压缩。接着，文中把 Form Machine 应用于程序协议，说明规则内与规则间的绑定如何在不把 IF 和 THEN 引入该语言的前提下表达与顺序无关和与顺序有关的协议对话，并建议可以通过使用 Form Machine 以及在代码中先验指定的两个系统形式，来简化 NWG/RFC #80 的 Protocol Manager。本备忘录最后就这一语言设计征求评论。

目录​

相关资源​