[논문 리뷰] A Very Short Self-Interpreter

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

Computability, Logic, AI Algorithms인용 수 7

한 줄 요약

이 논문은 단순한 튜링 완전한 절차형 언어를 위한 가장 짧은 알려진 자기해석기(self-interpreter)를 제시한다. 여기서 해석기는 자신의 문장을 명시적으로 처리함으로써 언어 자체 안에서 언어를 기술한다. 주요 기여는 자기해석이 극히 단순한 형태로도 달성될 수 있음을 보여주는 것으로, 최소한의 문법적 및 의미적 오버헤드로 계산의 기본 원리를 부각시킨다.

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 최소한의 형식 체계에서 자기해석을 지원하기 위해 필요한 핵심 언어 기능은 무엇인가?

주요 결과

• 자기해석기는 언어의 핵심 절차형 기능만을 사용하여 구성되어, 최소한의 문법 복잡성이 자기참조를 위한 충분한 조건임을 증명한다.
• 해석기는 동일 언어로 작성된 프로그램을 정확히 평가하여 직접적인 문장 처리를 통한 기능적 정당성 입증.
• 전체 시스템은 외부 해석 계층이나 메타순환 평가 메커니즘 없이 자체적으로 완전히 독립되어 있음.
• 자기해석기의 최소 크기는 절차형 시스템에서 자기해석을 위해 필요한 복잡성의 하한을 설정한다.
• 고도의 언어 기능이나 반사 메커니즘이 없이도 자기기술표현과 자기해석이 가능함을 보여준다.