세 비단문맥 문법의 서술 복잡도 향상

초록

이 논문은 모든 재귀적으로 열거 가능한 언어를 세 개의 비단말 기호만으로 생성할 수 있음을 기존 결과에서 확장한다. 특히 파생 단계마다 동시에 교체되는 비단말의 최대 개수를 언어의 알파벳 크기나 구조와 무관하게 일정한 상수(3)로 제한한다는 점이 핵심이다. 이를 위해 새로운 변환 규칙 설계와 증명 기법을 도입하여 기존의 복잡도 의존성을 제거하고, 문법의 효율성을 크게 개선하였다.

상세 분석

본 연구는 scattered context grammar(SCG)의 서술 복잡도 측면에서 두 가지 중요한 질문을 제기한다. 첫째, 재귀적으로 열거 가능한(RE) 언어를 생성하기 위해 필요한 비단말 기호의 최소 개수는 얼마인가? 기존 연구에서는 세 개 이하의 비단말로 모든 RE 언어를 생성할 수 있음을 보였지만, 파생 과정에서 동시에 교체되는 비단말 수가 언어마다 크게 달라지는 문제가 있었다. 둘째, 그 동시 교체 수를 일정한 상수로 제한할 수 있는가? 논문은 이 두 질문에 대해 긍정적인 답을 제시한다.

핵심 아이디어는 “표현 압축”과 “동시 교체 제한”이라는 두 축으로 구성된다. 먼저, 임의의 RE 언어 L에 대해 그 언어를 인코딩하는 튜플(Σ, M, R)을 정의한다. 여기서 Σ는 원래 언어의 터미널 알파벳, M은 메타-비단말 집합, R은 변환 규칙 집합이다. 기존 방법에서는 M의 크기가 Σ의 크기에 비례하거나, 특정 언어 구조에 따라 M가 폭발적으로 증가했다. 저자는 M을 고정된 크기 3으로 제한하면서도, 각 비단말이 복합적인 역할을 수행하도록 설계한다. 구체적으로, 하나의 비단말은 “제어” 역할을, 다른 하나는 “데이터 복제” 역할을, 마지막 하나는 “동기화” 역할을 담당한다.

다음 단계에서는 변환 규칙 R을 재구성한다. 전통적인 SCG 규칙은 (A₁,…,A_k) → (α₁,…,α_k) 형태이며, 여기서 k는 동시에 교체되는 비단말 수이다. 저자는 모든 규칙에 대해 k ≤ 3을 보장한다. 이를 위해 “규칙 분해” 기법을 도입한다. 복잡한 변환을 여러 단계의 단순 규칙으로 나누어, 각 단계에서 최대 세 개의 비단말만이 동시에 교체되도록 만든다. 예를 들어, 기존에 5개의 비단말이 동시에 교체되는 규칙을 (A₁,…,A₅) → (α₁,…,α₅) 로 표현한다면, 이를 (A₁,A₂,A₃) → (β₁,β₂,β₃) 와 (A₄,A₅,γ) → (β₄,β₅,δ) 로 분할한다. 여기서 γ와 δ는 중간 비단말이며, 이후 단계에서 다시 원래 형태로 복원된다.

증명 부분에서는 두 가지 주요 정리를 제시한다. 첫 번째 정리는 “세 비단말 충분성 정리”로, 임의의 RE 언어 L에 대해 적절히 설계된 SCG G = (N, T, P, S) 가 존재함을 보인다. 여기서 |N| = 3이며, 모든 p ∈ P 에 대해 |LHS(p)| ≤ 3이다. 두 번째 정리는 “동시 교체 상수 제한 정리”로, 위 정리의 구성 과정에서 사용된 변환 규칙이 언어의 알파벳 크기 |Σ| 나 구조적 복잡도와 무관하게 상수 3 이하의 동시 교체 수만을 요구한다는 것을 증명한다.

기술적 난관은 주로 “동기화 비단말”의 설계에 있다. 여러 파생 경로가 동시에 진행될 때, 이 비단말이 올바른 시점에 등장하고 사라지는지를 보장해야 한다. 저자는 이를 위해 “표현 순환”과 “상태 전이” 개념을 차용한 새로운 전이 메커니즘을 도입한다. 이 메커니즘은 비단말이 특정 패턴을 만족할 때만 교체가 허용되도록 함으로써, 불필요한 교체를 방지하고 전체 파생 과정의 일관성을 유지한다.

결과적으로, 이 논문은 SCG의 서술 복잡도에 대한 기존 한계를 크게 낮추었다. 비단말 수를 3으로 고정하고, 동시에 교체되는 비단말 수 역시 상수 3 이하로 제한함으로써, 이론적 모델링뿐 아니라 실제 구현에서도 메모리와 연산 비용을 절감할 수 있는 기반을 제공한다. 또한, 이러한 제한이 RE 언어 전체에 적용 가능함을 보였기에, 형식 언어 이론에서 SCG의 위치를 재정립하는 중요한 기여라 할 수 있다.