[论文解读] 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 在极简形式系统中，支持自解译所必需的语言特性是什么？

主要发现

• 自解译器仅使用语言的核心命令式特性构建，证明了极简的语法复杂度足以实现自引用。
• 解译器能正确评估用同种语言编写的程序，通过直接语句处理展示了功能正确性。
• 整个系统完全自包含，无需外部解释层或元循环求值机制。
• 自解译器的最小尺寸确立了命令式系统中自解译所需复杂度的下限。
• 该方法表明，即使缺乏高级语言特性或反射机制，自描述与自解译仍是可实现的。