반응형 튜링 머신

초록

반응형 튜링 머신(RTM)은 전통적인 튜링 머신에 관찰 가능한 행동 라벨을 부여해 상호작용을 모델링하고, 전이 시스템으로 그 동작을 정의한다. 논문은 RTM이 유한 분기 정도를 가진 계산 가능한 전이 시스템을 발산 보존 분기 동등성 아래에서 시뮬레이션할 수 있음을 보이며, 발산 보존이 필요 없을 경우 모든 효과적인 전이 시스템을 시뮬레이션한다. 또한 보편적인 RTM의 존재와 그 제한(분기 정도에 따른) 및 프로세스 계산법과의 표현력 대응 관계를 제시한다.

상세 분석

본 논문은 튜링 머신에 동시성 이론에서 사용되는 행동 라벨링을 도입함으로써, 전통적인 입력‑출력·종료 중심의 계산 모델을 ‘반응형’ 모델로 확장한다. 핵심 정의는 4‑튜플 (S, →, ↑, ↓) 로 구성된 RTM이며, 전이 관계는 (현재 상태, 읽은 심볼, 행동 라벨, 쓰기 심볼, 이동 방향, 다음 상태) 로 기술된다. 행동 라벨 a∈A는 외부와의 관찰 가능한 상호작용을, τ는 내부 계산 단계를 의미한다. 이러한 설계는 기존 튜링 머신을 모든 전이가 τ로 라벨링된 특수한 경우로 포함한다는 점에서 자연스럽다.

RTM의 의미론은 구성(configuration) = (상태, 테이프 인스턴스) 로 정의하고, 각 구성 사이에 라벨이 붙은 전이를 부여한다. 테이프 인스턴스는 무한 양쪽을 허용하는 문자열에 헤드 마커(ˇ)를 두어 현재 헤드 위치를 표시한다. 전이 규칙은 헤드 이동에 따라 마커를 좌·우로 옮기고, 필요 시 빈 심볼()을 추가한다. 이렇게 정의된 전이 시스템 T(M)은 Aτ‑라벨드 전이 시스템이며, RTM이 실행 가능한 행동을 정확히 포착한다.

논문의 주요 정리는 두 단계로 나뉜다. 첫째, ‘계산 가능한 전이 시스템(Computable Transition System)’을 정의하고, 그 분기 정도가 유한하면 발산‑보존 분기 동등성(divergence‑preserving branching bisimilarity) 아래에서 RTM이 이를 시뮬레이션한다는 정리를 증명한다. 여기서 발산‑보존은 무한 τ‑루프(발산)를 구분함으로써, 시스템의 살아있는 선택 구조를 유지한다. 둘째, 발산‑보존 요구를 포기하면, 효과적인 전이 시스템(effective transition system) 전반을 시뮬레이션할 수 있음을 보인다. 이는 RTM이 전통적인 ‘함수 계산’을 넘어, 비결정적·무한 행동을 포함하는 전이 구조까지 포괄할 수 있음을 의미한다.

보편성 측면에서는 ‘보편 RTM’ 개념을 도입한다. 분기 동등성은 분기 정도(branching degree)에 민감하므로, 보편 RTM은 무한 분기를 필요로 하는 경우 발산을 이용해 이를 흡수한다. 즉, 무한한 선택을 τ‑루프 형태로 구현함으로써 임의의 RTM을 시뮬레이션한다. 반면, 발산‑보존을 유지하려면 보편 RTM은 자신과 동등하거나 낮은 분기 정도를 가진 RTM만을 시뮬레이션할 수 있다. 이러한 결과는 ‘분기 정도에 대한 제한적 보편성’과 ‘발산을 통한 완전 보편성’ 사이의 트레이드오프를 명확히 보여준다.

또한, RTM과 간단한 프로세스 계산법(입출력 채널, 병렬 합성, 재귀 정의) 사이의 표현력 대응을 증명한다. 모든 가드된 재귀 사양은 계산 가능한 전이 시스템을 생성하고, 이는 RTM으로 시뮬레이션 가능하다. 반대로, 실행 가능한 전이 시스템은 해당 계산법으로 유한하게 정의될 수 있다. 이는 전통적인 튜링 머신과 무제한 문법 사이의 대응을 동시성 이론의 관점에서 재구성한 결과라 할 수 있다.

마지막으로, 논문은 RTM이 기존의 ‘지속적 튜링 머신(persistent Turing machine)’보다 적어도 동등한 표현력을 갖는다고 주장한다. 지속적 튜링 머신은 입력을 지속적으로 받아들이는 모델이지만, RTM은 행동 라벨을 통해 보다 일반적인 상호작용을 표현한다. 전체적으로, 이 연구는 계산 이론과 동시성 이론을 통합하는 새로운 모델을 제시하고, 실행 가능성, 보편성, 그리고 프로세스 계산법과의 연결 고리를 체계적으로 탐구한다.