ZFC와 무관한 무한 자동화 언어의 위상 복잡도

초록

이 논문은 1-카운터 Büchi 자동자와 2-테이프 Büchi 자동자가 인식하는 ω‑언어와 무한 유리 관계가 ZFC 모델에 따라 Π⁰₂ 집합이 될 수도, 분석적이지만 Borel가 아닌 집합이 될 수도 있음을 보인다. 또한 같은 현상이 무한 그림 언어에도 적용되며, 이로 인해 관련 결정 문제의 복잡도 하한이 강화된다.

상세 분석

논문은 먼저 1‑카운터 Büchi 자동자와 2‑테이프 Büchi 자동자가 인식하는 언어들의 위상적 위치를 조사한다. 기존 연구에서는 이러한 자동자들이 받아들이는 ω‑언어가 Borel 계층의 어느 수준에 속하는지에 대한 상한이 알려져 있었으며, 특히 1‑카운터 자동자는 Σ⁰_α·Π⁰_α‑완전 언어들을 구현할 수 있음을 보였다. 그러나 저자는 이러한 복잡도가 절대적인 것이 아니라, 선택 공리와 같은 ZFC의 추가 가정에 따라 달라질 수 있음을 증명한다. 핵심은 코터 공간 2^ω 안에 존재하는 “가장 큰 얇은” Π¹₁ 집합 C₁의 크기를 모델마다 다르게 해석하는 것이다. Kechris와 Guaspari‑Sacks의 결과를 이용해, 어떤 모델 V₁에서는 C₁이 가산이므로 해당 언어들이 Π⁰₂ 집합이 된다. 반면 다른 모델 V₂에서는 C₁이 비가산이며, 그 결과 L(A)와 L(B)가 분석적(Σ¹₁)이지만 Borel가 아니다. 이를 1‑카운터 Büchi 자동자 A와 2‑테이프 Büchi 자동자 B에 구체적으로 구성함으로써, 두 언어가 각각 V₁에서는 Π⁰₂, V₂에서는 Σ¹₁\Borel이 됨을 보인다.

또한 무한 그림(ω‑picture) 언어에 대한 Büchi 타일링 시스템에도 동일한 독립성 현상이 확장된다. 무한 그림은 2차원 ω‑단어로 볼 수 있으며, 타일링 시스템은 각 셀에 타일을 배치하면서 무한히 진행되는 계산을 모델링한다. 저자는 위의 얇은 Π¹₁ 집합을 이용해, 어떤 모델에서는 해당 그림 언어가 Π⁰₂, 다른 모델에서는 Σ¹₁\Borel이 되도록 구성한다.

마지막으로 이러한 독립성 결과를 활용해, 주어진 1‑카운터 Büchi 자동자 혹은 2‑테이프 Büchi 자동자가 인식하는 언어가 특정 Borel 클래스 Σ⁰_α(또는 Π⁰_α)에 속하는지를 판정하는 문제는 Π¹₂‑완전이 아님을 보인다. 즉, 기존에 알려진 하한보다 더 높은 복잡도를 가진다. 이는 Shoenfield 절대성 정리와 결합해, 해당 결정 문제의 복잡도가 ZFC 내에서 완전히 규정될 수 없음을 의미한다. 전체적으로 이 논문은 자동이론과 집합론 사이의 깊은 연결고리를 밝히며, 무한 계산 모델의 위상적 복잡도가 논리적 공리계에 의존한다는 중요한 메세지를 전달한다.