양쪽 문맥을 갖는 문법의 이론과 파싱

초록

본 논문은 기존의 좌측 문맥만을 지정할 수 있던 확장형 문맥 자유 문법을 일반화하여, 좌·우 양쪽 문맥을 동시에 명시할 수 있는 “양쪽 문맥 문법”을 제안한다. 정의, 정규형 변환, 그리고 O(n⁴) 시간 복잡도의 파싱 알고리즘을 제시함으로써 이 새로운 문법 계층의 이론적 기반을 마련한다.

상세 분석

논문은 먼저 전통적인 문맥 자유 문법(CFG)의 한계를 짚으며, “문맥‑민감 문법”이라는 이름에도 불구하고 실제 언어 구조를 기술하기엔 부족함을 지적한다. 저자들은 이전 연구에서 제안된 좌측 문맥 연산자(✁, P)를 확장하여, 우측 문맥 연산자(✄, Q)도 동시에 사용할 수 있는 문법 체계를 정의한다. 형식적으로는 G = (Σ, N, R, S)라는 4‑튜플로, 각 규칙은 기본 결합자(α₁,…,α_k)와 네 종류의 문맥 결합자(✁ β, ✄ δ, P γ, Q κ)를 포함한다.

문법의 의미는 “아이템” X ⊢ u ⟨w⟩ v 로 표현되는 삼중 관계를 통해 정의되며, 기본 아이템은 모든 문자 a에 대해 a ⊢ u ⟨a⟩ v (∀u,v∈Σ*)가 된다. 규칙 A → B C & ✁ D 등은 해당 아이템들의 전제와 결합을 통해 새로운 아이템을 도출하는 추론 규칙으로 해석된다. 이 추론 체계는 전통적인 파스 트리와 일대일 대응함을 증명함으로써 문법이 의미론적으로 일관함을 보인다.

정규형 변환은 세 단계로 진행된다. 첫째, 빈 문자열을 생성하는 규칙을 제거하고, 둘째, 명시적 빈 문맥(✁ ε, ✄ ε)을 없앤다. 셋째, 비순환성을 확보하기 위해 A → B & … 형태의 의존성을 끊는다. 변환 후에는 모든 규칙이 “기본 결합자(하나 이상의 α) ∧ 문맥 결합자(任意)” 형태가 되며, 이는 기존의 촉소프 정규형을 양쪽 문맥으로 확장한 형태이다.

파싱 알고리즘은 CYK‑스타일의 동적 계획법을 기반으로 한다. 입력 문자열 w의 길이를 n이라 할 때, 4‑중첩 루프를 사용해 구간