2테이프 부치 자동기와 무한 유리 관계의 와지 계층 완전성

초록

이 논문은 2테이프 부치 자동기(2‑BA)가 실시간 부치 1‑카운터 자동기와 부치 튜링 기계가 인식하는 ω‑언어와 동등한 위상적 복잡도(보렐·와지 계층)를 가진다는 것을 증명한다. 모든 비공허 재귀 순서 α에 대해 Σ⁰_α‑완전·Π⁰_α‑완전 무한 유리 관계가 존재하고, 그 보렐 계층의 상한은 ω₁^{CK}보다 큰 γ¹_2임을 보인다. 이는 Simonnet(1992)·Lescow·Thomas(1988,1994)의 질문에 대한 해답이다.

상세 분석

논문은 먼저 2‑테이프 부치 자동기(2‑BA)를 정의한다. 입력·출력 두 테이프를 동시에 읽으며, 각 전이에서 유한 문자열을 각각 한쪽 테이프에서 소비하고 다른 쪽에 출력한다. 성공적인 계산은 무한히 자주 수용 상태에 도달하는 경우이며, 이때 생성되는 (입력, 출력) 쌍이 무한 유리 관계 R(T)⊆Σ^ω×Γ^ω를 형성한다.

다음으로 실시간 부치 1‑카운터 자동기(r‑BCL(1)ω)를 소개한다. 카운터는 0일 때만 감소가 금지되는 제한을 두고, 입력을 한 글자씩 읽으며 카운터를 증감한다. 부치 수용 조건은 무한히 자주 수용 상태를 방문하는 실행이 존재함을 요구한다.

위상학적 배경으로 보렐 계층(Σ⁰_α, Π⁰_α)과 와지 감소(연속 함수에 의한 사전 이미지) 개념을 정리한다. 특히 Σ¹_1(analytic) 집합이 부치 튜링 기계가 인식하는 언어와 일치함을 이용한다.

핵심 정리는 “2‑BA와 부치 튜링 기계는 위상적으로 동등하다”는 것인데, 이는 두 단계 시뮬레이션을 통해 증명된다. 첫째, 임의의 부치 튜링 기계 M을 2‑BA T로 변환한다. T는 M의 구성(상태·헤드·테이프 내용)을 두 테이프에 인코딩하고, M이 한 스텝 진행할 때마다 T가 두 테이프에 적절한 부분 문자열을 쓰고 읽는다. 연속적인 전이 설계와 부치 수용 조건의 보존을 통해 L(M)=π₁(R(T))가 된다. 둘째, 반대로 2‑BA가 인식하는 관계 R를 부치 1‑카운터 자동기로 받아들일 수 있다. 여기서는 입력·출력을 하나의 교차 문자열로 결합하고, 카운터를 이용해 동기화된 스캔을 구현한다.

이러한 상호 시뮬레이션을 바탕으로 보렐·와지 계층이 동일함을 보인다. 즉, RAT_ω(2‑BA가 인식하는 무한 유리 관계)의 모든 집합은 Σ¹_1이며, 그 보렐 복잡도는 부치 튜링 기계가 인식하는 ω‑언어와 일치한다. 따라서 모든 재귀 순서 α>0에 대해 Σ⁰_α‑완전·Π⁰_α‑완전 관계가 존재한다는 기존 결과를 일반화한다.

특히, 보렐 계층의 상한을 조사하면, 부치 튜링 기계가 인식하는 Σ¹_1 집합들의 보렐 차수는 γ¹_2라는 초한계(ω₁^{CK}보다 큰)임이 알려져 있다. 논문은 이 결과를 RAT_ω에도 그대로 적용함으로써, 무한 유리 관계의 위상적 복잡도가 기존에 생각했던 것보다 훨씬 높음을 보여준다.

이러한 발견은 두 가지 중요한 의미를 가진다. 첫째, 2‑테이프 부치 자동기가 단순히 “유한 관계”를 확장한 수준을 넘어, 전통적인 무한 언어 이론에서 가장 복잡한 수준까지 도달한다는 점이다. 둘째, 와지 계층을 통한 정밀한 복잡도 분류가 가능해짐에 따라, 무한 관계의 결정 문제, 비교 가능성, 완전성 연구에 새로운 도구를 제공한다.

마지막으로, 논문은 Simonnet과 Lescow·Thomas가 제기한 “무한 유리 관계의 위상적 복잡도는 어느 정도인가?”라는 질문에 명확히 답한다. 2‑BA는 위상적으로 튜링 완전성을 가지며, 그 복잡도는 보렐·와지 계층 전체를 포괄한다는 결론을 내린다.