[論文レビュー] A Very Short Self-Interpreter

Oleg Mazonka, Daniel B. Cristofani|ArXiv.org|Nov 21, 2003

Computability, Logic, AI Algorithms被引用数 7

ひとこと要約

本稿では、自身のステートメントを明示的に処理するため、言語自体の中に言語を記述することができる、単純なチューリング完全な命令型言語における、これまでで最も短い自己解釈器を提示する。主な貢献は、自己解釈が極めて簡素な形で達成可能であることを示したことであり、最小限の文法的・意味的オーバーヘッドで計算の基盤的原則を強調している。

ABSTRACT

In this paper we would like to present a very short (possibly the shortest) self-interpreter, based on a simplistic Turing-complete imperative language. This interpreter explicitly processes the statements of the language, which means the interpreter constitutes a description of the language inside that same language. The paper does not require any specific knowledge; however, experience in programming and a vivid imagination are beneficial.

研究の動機と目的

• 機能的に完全である限り、可能な限り短い自己解釈器を設計・提示すること。
• 自己解釈器が、基本的な命令型構文と最小限の言語機能のみを用いて構築可能であることを示すこと。
• 自己参照と自己記述を可能にする最小限の形式的体系を提供すること。

提案手法

• 最小限の構文と意味論を持つ、単純なチューリング完全な命令型言語を定義すること。
• 言語固有の構文のみを用いて、言語の各ステートメントを明示的に処理する自己解釈器を実装すること。
• 外部依存性やメタレベルの構文を一切用いない、自己完結した解釈器を保証すること。
• 明示的なステートメント処理を用いて、解釈をソース言語の直接的なシミュレーションとしてモデル化すること。
• 解釈器が自身を解釈できる構造となるように設計し、構文的・意味的自己記述を通じて自己参照を達成すること。
• 解釈器が同じ言語で書かれたプログラムを正しく評価することを示すことで、正しさを実証すること。

実験結果

リサーチクエスチョン

• RQ1 チューリング完全な命令型言語において実装可能な自己解釈器の最小サイズは何か？
• RQ2 外部のメタレベルツールに依存せずに、基本的な命令型構文のみを用いて自己参照をどのように達成できるか？
• RQ3 最小限の形式的体系において自己解釈をサポートするための必須言語機能は何か？

主な発見

• 自己解釈器は、言語のコアな命令型機能のみを用いて構築されており、自己参照に十分な最小限の文法的複雑性が十分であることを証明している。
• 解釈器は、同じ言語で書かれたプログラムを正しく評価しており、直接的なステートメント処理を通じて機能的正しさが実証されている。
• システム全体が自己完結しており、外部の解釈レイヤーやメタ巡回的評価メカニズムの必要がない。
• 自己解釈器の最小サイズは、命令型システムにおける自己解釈に必要な複雑性の下限を示している。
• 高度な言語機能やリフレクションメカニズムが存在しない状況下でも、自己記述と自己解釈が達成可能であることを示している。