컨텍스트 자유 언어의 ω‑멱이 베르셀 위에 존재한다

논문은 먼저 알파벳 A 위의 유한 단어 집합 A*와 무한 단어 집합 A^ω 를 정의하고, ω‑멱 V^ω = {u₁u₂…u_n… | ∀n u_n∈V\{ε\}} 를 소개한다. 베르셀 계층 Σ⁰_ξ, Π⁰_ξ, Δ⁰_ξ (ξ<ω₁) 를 복습하고, 와드(Wadge) 감소 관계와 완전성 개념을 설명한다. 이어서 “eraser”(소거기) 연산을 정의한다. 새로운 기호 ‘և’ 를 알파벳에 추가하고, 문자열 x에 대해 x և 를 왼쪽에서 오른쪽으로 순차적으로 처리해 ‘a և’ 형태의 문자 a를 삭제한다. 이 연산은 정의역이 (A∪{և})^ω 로 확장되며, 결과가 유한하거나 무한할 수 있다. X↦X≈ 로 정의된 연산은 베르셀 복잡도를 한 단계 올리는 성질을 가지고, Π⁰_n‑complete 집합 X에 대해 X≈ 가 Π⁰_{n+1}‑complete 임을 정리 2.3 으로 제시한다. 다음으로 연산을 여러 번 반복하는 정의를 제시한다. X≈⁰_k = X, X≈¹_k = X≈, …, X≈^{(k)}_k 은 서로 다른 소거기 ‘և₁,…,և_k’ 를 차례로 적용한 결과이며, X≈^{∞} 은 무한히 많은 소거기를 순차적으로 적용해 얻은 집합이다. 함수 f_n 과 f_∞ 를 정의해, 각 단계에서 소거 결과가 무한이면 그대로, 유한하거나 정의되지 않으면 0^ω 로 매핑한다. 이 함수들은 모두 Borel이며, 특히 f_∞ 은 Borel 한 한정된 랭크를 가진다. 따라서 X가 Borel이면 X≈^{∞} 도 Borel 이다. 특히 X를 “무한히 많은 1을 포함하는 {0,1}^ω” 로 잡으면, X≈^{∞} 은 Δ¹₁ \ Δ⁰_ω 에 속한다. 이는 X≈ 연산이 Δ⁰_ω 안에서 엄격히 위로 이동함을 의미한다. 와드 게임을 이용해 (X≈^{∞})≈ ≤_W X≈^{∞} 를 보이며, 이는 X≈^{∞} 가 Δ⁰_ω 에 포함될 수 없음을 증명한다. 그 다음 섹션에서는 이러한 구조를 컨텍스트 자유 언어 V 로 구현한다. 푸시다운 자동기(PDA) M = (Q, A, Γ, δ, q₀, Z₀, F) 를 정의하고, L_n 을 “소거기 և₁,…,և_n 을 차례대로 적용해 최종적으로 0*1 형태가 되는 문자열” 로 정의한다. L_n 은 0*1 로 끝나는 문자열을 만들기 위해 각 문자와 소거기의 사용 여부를 비결정적으로 추측하고, 스택에 추측을 저장해 나중에 일관성을 검증한다. 이 과정에서 소거기 և_j 은 문자 0,1 혹은 더 큰 인덱스의 소거기만을 삭제할 수 있다. 저자는 L_n 이 컨텍스트 자유임을 보이고, L_∞ = ⋃_{n<ω} L_n 의 직접적인 컨텍스트 자유성을 증명하기는 어려우나, 약간 더 복잡한 언어 L_∞' 은 컨텍스트 자유임을 보인다. 마지막으로 V를 L_∞' 로 잡으면 V^ω = X≈^{∞} 와 동형이 된다. 따라서 V^ω 는 Borel 이면서 Δ⁰_ω 위의 무한 랭크에 위치한다. 이는 이전에 알려진 “Borel 무한 랭크의 ω‑멱”이 비컨텍스트 자유였던 것과 대비된다. 논문은 이 결과가 와드 순위와 완전성 이론을 통해서도 확인될 수 있음을 강조하며, 무한 게임 전략을 이용해 V^ω 가 Δ⁰_ω 에 속하지 않음을 구체적으로 증명한다. 전체적으로 소거 연산의 위계적 특성과 푸시다운 자동기의 비결정적 추측 메커니즘을 정교히 결합해, 컨텍스트 자유 언어의 ω‑멱이 처음으로 무한 베르셀 랭크에 도달할 수 있음을 입증한다.