[논문 리뷰] Functional units for natural numbers

J.A. Bergstra, C.A. Middelburg|arXiv (Cornell University)|2009. 11. 10.

semigroups and automata theory참고 문헌 9인용 수 5

한 줄 요약

이 논문은 스레드 대수에서의 추상적 서비스 개념을 넘어서, 계산을 모델링하기 위한 구체적이고 상태 기반의 추상화로 기능 단위의 개념을 도입한다. 자연수에 대한 보편적 계산 가능한 기능 단위의 존재를 입증하여, ℕ 위의 모든 계산 가능한 함수가 그러한 단위 내에서 에뮬레이션될 수 있음을 보이며, 지시어 시퀀스를 통한 Turning 기계 및 프로그램 의미론 모델링에 대한 함의를 제시한다.

ABSTRACT

Interaction with services provided by an execution environment forms part of the behaviours exhibited by instruction sequences under execution. Mechanisms related to the kind of interaction in question have been proposed in the setting of thread algebra. Like thread, service is an abstract behavioural concept. The concept of a functional unit is similar to the concept of a service, but more concrete. A state space is inherent in the concept of a functional unit, whereas it is not inherent in the concept of a service. In this paper, we establish the existence of a universal computable functional unit for natural numbers and related results.

연구 동기 및 목표

• 스레드 대수에서의 추상적 서비스 모델의 한계를 해결하기 위해 더 구체적이고 상태 기반의 계산 모델을 도입하기 위해.
• 기본 상태 공간을 갖는 기능 단위 개념을 정의하고 형식화하며, 가장 단순한 의미 있는 사례로 자연수를 집중적으로 다루기 위해.
• 자연수에 대한 보편적 계산 가능한 기능 단위의 존재를 확립하여, ℕ 위의 모든 계산 가능한 함수를 에뮬레이션할 수 있음을 입증하기 위해.
• 지시어 시퀀스를 사용한 Turning 기계 및 기타 계산 시스템을 기능 단위로 모델링하기 위한 기초를 마련하기 위해.

제안 방법

• 논문은 지시어 시퀀스에 대해 부울 종료 조건과 조건부 점프를 지원하는 프로그램 대수를 기반으로 한 프로그램 표기법 PGLBbt를 사용한다.
• 기본 스레드 대수에 지시어 시퀀스와 서비스 간의 상호작용을 모델링하기 위한 연산자를 도입하여 기능 단위 행동의 기초를 마련한다.
• 기능 단위는 상태 공간(여기서는 ℕ), 메서드 연산 집합, 상태를 수정하고 부울 값을 반환하는 지시어 처리 메커니즘을 갖는 시스템으로 정의된다.
• 논문은 카운터 머신을 인코딩하고, ℕ 위의 임의의 계산 가능한 함수가 그러한 단위 내에서 시뮬레이션될 수 있음을 증명함으로써 보편적 기능 단위를 구성한다.
• 단일 메서드 기능 단위가 ℕ 위의 카운터 머신을 시뮬레이션할 수 없다는 것을 모순에 기반한 증명을 통해 보이며, 필요한 메서드 연산의 최소 수를 설정한다.
• 유한 상태 공간으로의 일반화를 시도하며, 기능 단위의 차수와 구조적 복잡도를 분석한다.

실험 결과

연구 질문

• RQ1 자연수에 대해 보편적 계산 가능한 기능 단위를 구성할 수 있는가?
• RQ2 자연수 ℕ 위에서 카운터 머신을 시뮬레이션하기 위해 필요한 최소 메서드 연산 수는 얼마인가?
• RQ3 기능 단위 개념은 스레드 대수의 추상적 서비스 모델에 비해 어떻게 향상되는가?
• RQ4 기능 단위를 사용하여 Turning 기계의 테이프와 제어를 모델링할 수 있는가?
• RQ5 유한 상태 공간에 대한 기능 단위의 구조적 복잡도는 어떻게 되는가?

주요 결과

• 자연수에 대한 보편적 계산 가능한 기능 단위가 존재한다. 즉, ℕ 위의 모든 계산 가능한 함수는 그러한 단위 내에서 에뮬레이션될 수 있다.
• 자연수 ℕ 위에서 카운터 머신을 시뮬레이션할 수 있는 계산 가능한 기능 단위에 단 하나의 메서드 연산만 존재한다면, 도달 가능한 상태에 모순이 발생하므로 불가능하다.
• 자연수 ℕ 위에서 카운터 머신을 시뮬레이션하기 위해 필요한 최소 메서드 연산 수는 2개 이상이며, 두 개로 충분한지 여부는 아직 열려 있는 문제다.
• 유한 상태 공간에 대한 기능 단위는 동형을 제외한 정렬 기준으로 나열 가능하며, 부울 상태 공간의 경우 12개의 서로 다른 기능 단위 차수를 가진다.
• k-상태 공간 위의 가능한 기능 단위의 수는 2^(2^k * k^k)로 증가하므로, 작은 k 값조차도 수작업으로 나열하는 것은 불가능하다.
• 기능 단위를 통해 계산 가능성은 기계 모델이 아닌 프로그램 의미론을 통해 연구할 수 있으며, 이는 계산을 프로그램 중심의 관점에서 분석할 수 있도록 한다.