형식 언어의 조합적 복잡성 연구

초록

본 논문은 언어의 길이별 단어 수를 반환하는 조합적 복잡도 함수를 중심으로, 정규·문맥 자유·문맥 의존 등 여러 언어 클래스에 대한 복잡도 특성, 성장률, 그리고 다른 언어 매개변수와의 관계를 조사한다. 주요 결과와 정리는 제시하되 증명은 별도 논문에 의존한다.

상세 분석

이 논문은 조합적 복잡도(combinatorial complexity)라는 개념을 형식 언어 이론에 도입하고, 이를 통해 언어의 구조적 특성을 정량화한다. 조합적 복잡도는 길이 n인 단어의 개수를 세는 함수 f_L(n)으로 정의되며, 이는 언어 L의 성장률(growth rate)과 직접적인 연관을 가진다. 저자는 먼저 정규 언어의 경우 f_L(n)이 결국 선형 재귀 관계를 만족하고, 생성함수는 유리함수(rational function)임을 확인한다. 이는 기존에 알려진 정규 언어의 정규 표현식과 유한 자동기의 전이 행렬을 이용한 방법과 일치한다. 이어서 문맥 자유 언어에 대해서는 Chomsky‑Schützenberger 정리를 활용하여, 해당 언어의 생성함수가 알제브라적(algebraic) 함수가 됨을 보인다. 특히, 문맥 자유 언어의 경우 f_L(n)은 다항식 성장 또는 지수적 성장 중 하나로 구분되며, 그 경계는 문법의 비터미널 수와 생산 규칙의 형태에 의해 결정된다.

문맥 의존 언어와 같은 고차 언어 클래스에 대해서는 복잡도가 급격히 증가할 수 있음을 논의한다. 여기서는 복잡도 함수가 초지수(exp‑exponential) 성장하거나, 경우에 따라서는 비계산 가능(non‑computable) 수준에 이를 수도 있음을 예시를 들어 설명한다. 또한, 언어의 압축 가능성, 정보 엔트로피, 그리고 자동화된 추론 시스템에서의 효율성 등 다른 매개변수와의 상관관계를 탐구한다. 예를 들어, 언어의 엔트로피가 낮을수록 f_L(n)의 성장률이 완만해지는 경향이 있으며, 이는 데이터 압축 알고리즘의 성능 예측에 활용될 수 있다.

특히 주목할 점은 조합적 복잡도와 언어의 결정성(decidability), 정규성 테스트, 그리고 언어 포함 관계와 같은 전통적인 이론적 문제 사이의 연결 고리를 제시한다. 예컨대, 두 언어 L₁, L₂에 대해 f_{L₁}(n) ≤ f_{L₂}(n)인 모든 n에 대해 L₁ ⊆ L₂임을 보이는 것이 일반적으로 불가능하지만, 특정 성장 상한이 존재하는 경우에는 포함 관계를 결정할 수 있는 알고리즘이 존재함을 증명한다.

마지막으로, 논문은 조합적 복잡도 연구가 자동화된 증명 생성, 형식 검증, 그리고 언어 기반 암호학 등 실용 분야에 미칠 잠재적 영향을 제시한다. 전체적인 흐름은 정의와 기본 성질 제시 → 주요 언어 클래스별 복잡도 분석 → 다른 언어 매개변수와의 연계 → 응용 가능성 탐색 순으로 전개된다. 각 결과에 대한 상세 증명은 별도 논문을 참조하도록 안내한다.