무한 그림 언어의 인식 가능성 비교와 불가능성 결과

초록

이 논문은 무한 2차원 단어(무한 그림)를 인식하는 두 모델, 즉 유한 타일링 시스템과 ω² 길이의 순서 자동자를 비교한다. 행별로 ω² 자동자로 인식되는 언어는 타일링 시스템으로도 인식되지만, 그 역은 성립하지 않는다. 또한 Büchi 인식 언어가 E‑인식 혹은 A‑인식인지 판정하는 문제가 결정 불가능함을 보인다.

상세 분석

논문은 먼저 무한 그림(ω‑picture)의 형식적 정의와 유한 타일링 시스템의 동작 방식을 정리한다. 타일링 시스템은 격자상의 각 셀에 상태를 할당하고, 인접한 네 개의 셀(위·아래·좌·우)의 레이블과 상태가 미리 정의된 타일 집합에 속하도록 요구한다. Büchi와 Muller 수용 조건을 적용해 무한 그림을 인식한다. 이어서 순서 자동자, 특히 ω²‑길이의 Bűchi 자동자를 소개한다. 이러한 자동자는 한계 단계(극한 순서)에서 이전까지 등장한 상태들의 집합을 이용해 다음 상태를 결정한다. 행별 인식은 무한 그림 p를 ω²‑단어 (\bar p) 로 변환하고, (\bar p) 가 정규 ω²‑언어에 속하는지를 검사하는 방식으로 정의된다.

주요 정리인 Theorem 4.1은 두 모델 사이의 포함 관계를 명시한다. Lemma 4.2는 ω²‑정규 언어가 주어지면, 해당 언어를 인식하는 Bűchi 자동자를 기반으로 각 행마다 적절한 상태를 추측하고, 행 전체와 행들의 순서를 동시에 검증하는 유한 타일링 시스템을 구성할 수 있음을 증명한다. 구체적으로, 자동자 A가 인식하는 ω‑언어 R과 각 문자 aᵢ에 대응하는 ω‑언어 Rᵢ를 이용해, 타일링 시스템의 상태를 (행 인덱스, 자동자 상태, 개미 이동 표시 등) 다섯 요소로 구성한다. 개미가 격자를 가로·세로로 이동하면서 각 행이 Rᵢ에 속함을 확인하고, 행 인덱스들의 ω‑시퀀스가 R에 속함을 검증한다. 이 과정을 Muller 수용 조건으로 마무리하면, 원래 ω²‑정규 언어에 대응하는 무한 그림 언어가 타일링 시스템에 의해 Büchi(=Muller) 인식됨을 보인다.

반대 방향, 즉 타일링 시스템이 인식하지만 행별 ω²‑자동자로는 인식되지 않는 언어의 존재는 위상학적 복잡도 분석을 통해 증명된다. 저자는 Büchi 타일링 시스템이 인식하는 언어가 Σ₁¹‑완전(analytic-complete)인 경우가 있음을 보여준다. 이러한 언어는 Borel 계층의 어느 수준에도 속하지 않으며, ω²‑정규 언어는 항상 Borel(구체적으로 Π₂⁰ 또는 Σ₂⁰) 수준에 머문다. 따라서 포함은 엄격함을 확인한다.

마지막으로 Section 5에서는 E‑인식(모든 행이 최종 상태에 도달)과 A‑인식(모든 행이 무한히 최종 상태를 방문) 여부를 판정하는 문제가 결정 불가능함을 증명한다. 증명은 기존에 알려진 무한 관계의 불가능성 결과를 타일링 시스템에 코딩하는 방식으로 진행된다. 구체적으로, 주어진 Büchi 타일링 시스템을 변형해 특정 행이 최종 상태를 방문하지 않으면 전체 그림이 허용되지 않도록 만들고, 이 변형이 언어의 비공허성 여부와 동등함을 보인다. 비공허성 문제는 Π₁⁰‑완전이므로, E‑인식·A‑인식 판정 역시 결정 불가능함을 얻는다.

전체적으로 논문은 무한 2차원 언어 이론에서 두 주요 모델의 표현력을 명확히 구분하고, 위상학적·복잡도 이론을 활용해 결정 가능성 한계를 제시함으로써 향후 연구 방향에 중요한 기준을 제공한다.