푸시다운 게임의 고베리 복잡도 승리 조건 연구

1. 서론에서는 무한 게임 이론과 베리 계층의 결정성 정리를 언급하며, 푸시다운 그래프 위에서의 게임이 프로그램 합성에 중요한 모델임을 강조한다. 특히, 마틴 정리와 부치-란드베르 정리를 배경으로, 정규 ω‑언어에 대한 결정 가능성은 알려졌으나, 푸시다운 그래프에 대한 연구는 아직 진행 중임을 지적한다. 2. 기존 연구(Serre 2004, 2005)에서 제시된 Ω A₁ ⊲ … ⊲ Aₙ ⊲ Aₙ₊₁ 형태의 승리 조건은, 각 자동자 Aᵢ가 이전 자동자의 스택을 입력으로 사용하고, 최종 자동자 Aₙ₊₁가 부치 혹은 패리티 수용 조건을 갖는 구조이다. 이때 플레이가 무한히 진행되면 스택 내용이 무한히 커지고, 그 한계 ω‑단어가 L(A₁ ⊲ … ⊲ Aₙ₊₁)에 속하면 Eve가 승리한다. 3. 논문은 먼저 클래스 Cₙ(A)를 정의한다. 여기서 A는 A₁의 입력 알파벳이며, Cₙ(A)는 모든 형태 L(A₁ ⊲ … ⊲ Aₙ₊₁) 를 포함한다. 저자는 Cₙ(A) ⊆ NA‑CFLω 를 증명한다. 증명은 각 Aᵢ를 비모호 PDA로 변환하고, 스택 한계가 유일하게 정의되는 구조를 이용한다. 또한, 확장 클래스 C^λₙ(A)를 도입해 Cₙ(A)의 보완도 NA‑CFLω 에 속함을 보인다. 4. 닫힘 연산에 대한 부정 결과는 두 가지 반례를 통해 제시된다. 첫 번째는 두 언어 L₁, L₂ ∈ C₁(A) 각각은 비모호하지만, L₁ ∪ L₂는 모호성을 갖게 된다. 두 번째는 L₁ ∩ L₂ 역시 비모호성을 잃는다. 이로써 Cₙ(A) 가 합·교에 대해 닫혀 있지 않음을 확인한다. 5. 승리 위치 집합 W_E 의 구조를 분석한다. 기존에는 Ω B 형태(단일 결정적 PDA)에서 W_E 가 결정적 CFL 로 제한되었지만, 본 논문은 Ω A₁ ⊲ … ⊲ Aₙ ⊲ Aₙ₊₁ 형태에서 W_E 가 더 복잡한 언어가 될 수 있음을 보인다. 구체적으로, 세 가지 유형의 게임을 설계한다. - (a) 비결정적·비모호 CFL: A₁을 비결정적 PDA로 만들고, 스택 성장 패턴을 조절해 두 개의 서로 다른 수용 경로가 존재하지만 각각은 유일한 ω‑수용을 보장한다. - (b) 내재적 모호 CFL: 두 개의 독립적인 파생 경로가 동일한 ω‑단어에 대해 서로 다른 수용 방식을 제공하도록 설계, 이는 내재적 모호성을 유발한다. - (c) 비컨텍스트프리 언어: 스택에 세 개 이상의 동시 증가 조건을 부여해 aⁿbⁿcⁿ 형태를 강제, 이는 CFL 를 초월한다. 각 경우에 대해 게임 그래프와 승리 조건을 상세히 기술하고, Eve 가 승리할 수 있는 정확한 초기 위치 집합을 계산한다. 6. 결론에서는 이러한 결과가 푸시다운 게임 이론에 새로운 시각을 제공한다는 점을 강조한다. 고베리 복잡도가 높은 승리 조건이 언어 이론의 복잡도 계층과 직접 연결될 수 있음을 보였으며, 이는 프로그램 검증·합성에서 복잡한 리액티브 시스템의 사양을 보다 풍부하게 표현할 수 있는 가능성을 열어준다. 또한, 향후 연구 과제로 비모호성 유지 하에 클래스 Cₙ(A)의 닫힘 연산을 보완하거나, 더 높은 베리 단계(예: Σ₄, Π₄)까지 확장 가능한 승리 조건을 탐구하는 방향을 제시한다.