メインコンテンツまでスキップ

RFC 83 - データ再構成のための言語機械

  • ステータス: 不明
  • 発行日: 1970年12月18日
  • ストリーム: 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 上の Remote Job System との間で必ず生じるデータ再構成の例——リテラルの挿入、削除、出力バッファ内の間隔、任意長、転置、文字列長の計算、および反復記号の展開と圧縮——を順に扱う。さらに Form Machine をプログラムプロトコルへ適用し、規則内束縛と規則間束縛によって、言語に IF と THEN を導入することなく、順序に依存しないプロトコル対話と順序に依存するプロトコル対話を表現できることを示し、NWG/RFC #80 の Protocol Manager が、Form Machine とコード内で先験的に指定された二つのシステム形式を用いることで簡素化できると示唆する。最後に、言語設計に関するコメントを求めて結んでいる。

目次​

関連リソース​