무한시간 셀룰러 오토마타와 실수계산 모델

초록

본 논문은 무한 시간 셀룰러 오토마타(ITCA)를 정의하고, 이를 무한 시간 튜링 기계(ITTM)와 동등한 계산 능력을 갖는 모델로 증명한다. 또한 ITCA가 BSS 기계와 같은 실수계산 모델을 정확히 ω 단계 안에 시뮬레이션할 수 있음을 보인다.

상세 분석

논문은 먼저 기존의 셀룰러 오토마타(CA)와 무한 시간 튜링 기계(ITTM)의 개념을 정리하고, 이를 결합한 새로운 전이 규칙을 제시한다. ITCA는 1차원 격자에 무한히 많은 셀을 두고, 각 셀은 이산 상태 집합을 갖는다. 전통적인 CA와 달리, ITCA는 각 단계가 ω 단계까지 진행되는 전이 함수를 사용한다. 구체적으로, 한 단계는 한정된 자연수 단계와 한 번의 극한 단계(리미트 단계)로 구성되며, 극한 단계에서는 각 셀의 상태를 이전 단계들의 점근값으로 정의한다. 이러한 설계는 ITTM의 리미트 단계와 완벽히 일치한다.

다음으로 저자는 ITCA가 ITTM과 동등한 계산 능력을 가짐을 증명한다. 먼저, 임의의 ITTM 프로그램을 ITCA의 초기 구성으로 인코딩하는 방법을 제시한다. 여기서는 ITTM의 테이프와 헤드 위치를 ITCA의 셀 배열에 매핑하고, ITTM의 전이 규칙을 ITCA의 로컬 규칙으로 변환한다. 특히, ITTM이 수행하는 무한 시간 단계(ω·n 단계)와 ITCA의 리미트 단계가 일대일 대응하도록 설계함으로써, 두 모델 사이의 시뮬레이션 오버헤드가 상수 배 이하임을 보인다.

또한, 반대 방향인 ITCA를 ITTM으로 시뮬레이션하는 과정도 제시한다. ITCA의 로컬 전이 규칙은 전역적으로 동기화된 셀들의 동작이므로, 이를 ITTM의 전역 상태와 헤드 움직임으로 재구성할 수 있다. 이때 중요한 점은 ITCA가 동시에 무한히 많은 셀을 업데이트한다는 점인데, 이를 ITTM의 다중 트랙 구조와 병렬 시뮬레이션 기법을 이용해 순차적으로 재현한다. 결과적으로, ITCA와 ITTM은 동일한 클래스의 결정 문제와 함수 문제를 해결한다는 것이 증명된다.

마지막으로, 저자는 BSS(Bruce‑Shub‑Smale) 기계와의 관계를 탐구한다. BSS 기계는 실수값을 직접 다루는 연산 모델로, 연산 단계당 무한히 정밀한 실수 연산을 허용한다. 논문은 BSS 기계의 기본 명령(덧셈, 곱셈, 비교 등)을 ITCA의 셀 상태와 전이 규칙으로 인코딩하고, 각 BSS 명령을 정확히 ω 단계 안에 수행하도록 설계한다. 특히, 실수값을 이진 확장 형태로 셀에 저장하고, ω 단계 동안 점근적 수렴을 이용해 실수 연산을 구현한다. 이를 통해 ITCA는 BSS 기계와 동등한 실수 연산 능력을 가지며, 무한 시간 단계 내에 완전한 시뮬레이션이 가능함을 보인다. 이러한 결과는 ITCA가 전통적인 디지털 모델을 넘어 연속적인 실수 계산까지 포괄하는 강력한 전이 모델임을 시사한다.