진화하는 다중대수는 모든 순차 계산 모델을 통합한다

초록

이 논문은 기존 추상 상태 기계(ASM)의 프로그램을 의미론적 함수로 교체한 “진화하는 다중대수”(EMA)를 제안한다. EMA는 정적 부분 위에 단순히 정의 가능한 함수 하나로 구성되며, 이를 통해 튜링 기계, RAM, 문법 기반 모델 등 전통적인 순차 계산 체계와 문자 그대로 동일시할 수 있는 자연스러운 클래스가 형성된다. 결과적으로 EMA는 다양한 순차 계산 패러다임을 하나의 수학적 구조로 통합한다.

상세 요약

논문의 핵심은 Gurevich이 제시한 ASM 프레임워크를 확장해 프로그램이라는 구문적 객체를 “정적 구조 위에 정의된 함수”라는 의미론적 객체로 대체한 점이다. 이 함수는 정적 서명에 포함된 기본 연산과 상수만을 이용해 매우 제한된 형태로 정의되며, 따라서 그 존재 자체가 모델의 동작을 완전히 규정한다. 저자는 이러한 제한이 오히려 모델을 명확히 구분짓는 기준이 된다고 주장한다. EMA는 다중대수(MultiAlgebra)라는 개념을 차용해 여러 종류의 도메인을 동시에 다룰 수 있게 설계되었으며, 각 도메인은 전통적인 기계 모델에서 레지스터, 스택, 테이프 등으로 대응한다. 정적 부분은 기계의 구조적 요소(예: 상태 집합, 입력 알파벳, 전이 함수의 정의역 등)를 포함하고, 동적 부분은 현재 구성(예: 현재 상태, 메모리 내용)를 나타낸다. 이때 “진화 함수”는 정적 부분만을 참조해 동적 부분을 한 단계씩 갱신한다. 중요한 점은 이 함수가 구문적으로 기술되지 않으므로, 동일한 정적 서명과 진화 함수를 가진 두 EMA는 본질적으로 같은 계산 모델로 간주된다는 것이다. 저자는 여러 전통적 모델을 각각 약간 확장한 형태와 EMA 사이에 “문자 그대로 동일” 관계를 구축한다. 예를 들어, 튜링 기계의 경우 헤드 이동과 기호 쓰기를 하나의 함수로 묶어 정의하고, RAM은 메모리 주소와 연산을 동일한 함수 안에 포함한다. 문법 기반 모델에서는 생산 규칙 적용을 함수 호출 형태로 변환한다. 이러한 변환 과정에서 기존 모델에 존재하던 “인코딩”이나 “시뮬레이션 오버헤드”가 사라지고, EMA 자체가 해당 모델의 직접적인 수학적 표현이 된다. 논문은 또한 EMA가 결정론적·비결정론적·확률적 변형을 모두 포괄할 수 있음을 보이며, 이는 정적 서명에 확률 변수나 선택 연산자를 추가함으로써 자연스럽게 구현된다. 마지막으로 저자는 EMA가 “자연스러운 클래스”를 형성한다는 점을 강조한다. 기존 ASM 시뮬레이션은 특정 기계마다 별도의 프로그램을 작성해야 했지만, EMA에서는 동일한 정적 서명과 진화 함수를 공유함으로써 다양한 기계가 하나의 공통 구조 안에 존재한다. 이는 이론적 컴퓨팅 모델 간의 비교·분류를 단순화하고, 복합 시스템 설계 시 여러 하위 모델을 일관된 방식으로 조합할 수 있는 기반을 제공한다.