구문 관계의 위상학적 접근

본 논문은 형식 언어의 구문을 그래프 이론과 위상수학, 그리고 범주론을 결합하여 새로운 이론적 틀을 제시한다. 먼저, 알파벳 A와 간선 종류 집합 S를 갖는 형식 언어의 구문을 ‘구문 다이어그램’이라 명명하고, 이는 노드가 알파벳 기호로 라벨링되고, 간선이 여러 종류를 가질 수 있는 다중 그래프(multigraph)로 정의한다. 이러한 다이어그램들의 범주 D는 객체가 구문 다이어그램, 사상이 포함 사상(inclusion map)인 전통적인 범주 구조를 가진다. 포함 사상은 전단사적이며 항등 사상이 존재하므로 D는 실제 범주가 된다. 다음으로 저자는 ‘이웃 문법(Neighbourhood Grammar)’이라는 개념을 도입한다. 이는 각 기호 a∈A에 대해 작은 구문 다이어그램 G_a를 정의하는데, G_a는 해당 기호를 중심으로 하는 서브다이어그램이며, 중심 기호와 연결된 모든 간선을 포함한다(‘이웃의 별’). 이웃 문법은 두 단계의 선택 메커니즘을 제공한다. 첫 번째 단계는 전역적인 구조적 제약을 통해 D의 서브범주를 만든다. 예를 들어, 연결성, 정점·간선의 수와 방향 등에 대한 제약을 부과한다. 두 번째 단계는 로컬하게 각 정점이 해당 기호의 이웃을 포함하는지를 검사함으로써 ‘올바른 구문 다이어그램’을 선별한다. 올바른 다이어그램은 (D, P) 형태의 객체이며, 여기서 P는 각 정점 v와 그 정점에 대응하는 이웃 G_{a(v)}의 쌍들의 집합이다. 올바른 구문 다이어그램을 더 풍부하게 다루기 위해, 저자는 범주 D_G(올바른 구문 다이어그램)의 객체에 이웃 다이어그램 자체를 추가한 확장 범주 Ext(D_G)를 정의한다. Ext(D_G)의 사상은 네 가지 경우로 구분된다. (1) 두 올바른 다이어그램 사이의 포함 사상, (2) 이웃 다이어그램에서 올바른 다이어그램으로의 포함 사상, (3) 올바른 다이어그램에서 이웃 다이어그램으로의 사상은 존재하지 않음, (4) 동일 이웃 사이의 항등 사상. 이러한 정의를 통해 Ext(D_G)는 실제 범주임을 증명한다. 그 후, 논문은 Grothendieck 위상을 Ext(D_G)에 정의한다. 전통적인 Grothendieck 위상은 각 객체에 ‘시브(sieve)’라는 사상들의 집합을 할당하는 함수 J로 기술된다. 하지만 Ext(D_G)와 같이 곱이 존재하지 않을 수 있는 범주에 대해서는 ‘베이스(base)’ 접근법을 변형한다. 저자는 각 객체 D에 대해 두 종류의 사상 집합을 베이스 K_G(D)로 정의한다. 첫 번째는 동형 사상의 단일 집합, 두 번째는 해당 다이어그램의 구문 커버에 포함된 이웃 다이어그램들의 포함 사상 집합이다. 이 베이스는 최대 시브와 안정성·전이성 공리를 만족함을 증명한다. 따라서 K_G를 표준적인 방법으로 확장하면 Grothendieck 위상 J_G가 얻어진다. 마지막으로 의미론적 측면을 다루기 위해, 저자는 각 올바른 구문 다이어그램을 의미(semantic) 집합으로 매핑하는 반변함함자 F: Ext(D_G)^{op} → Sets를 정의한다. 이 함수를 통해 얻은 프레시(pre)sheaf 범주 Sets^{Ext(D_G)^{op}}는 구문‑의미 관계를 범주론적으로 모델링한다. 특히, 위상 J_G에 대한 셰이브(sheaf)는 ‘구성성 원리(compositionality)’를 만족하는 의미 할당을 의미한다. 즉, 전체 다이어그램의 의미는 그 이웃들의 의미와 포함 사상에 의해 일관되게 결정된다는 점에서 전통적인 구문 의미론의 핵심 원칙을 위상·셰이브 이론으로 재구성한다. 전체적으로 이 연구는 형식 언어의 구문 구조를 위상수학과 범주론적 도구로 통합함으로써, 구문 분석과 의미론 사이의 형식적 연결 고리를 새로운 관점에서 제시한다. 이론적 기여는 (1) 구문 다이어그램을 다중 그래프로 모델링한 점, (2) 이웃 문법을 통해 올바른 구문을 선택하고 커버를 정의한 점, (3) 확장 범주 Ext(D_G)를 구축하고 그 위에 Grothendieck 위상을 정의한 점, (4) 반변함함자를 이용해 구문‑의미 사상을 형식화하고, 셰이브를 통해 구성성을 보장한 점이다. 이러한 접근은 형식 언어 이론, 컴파일러 설계, 자연어 처리 등 다양한 분야에서 구문‑의미 일관성을 보장하는 새로운 방법론으로 활용될 가능성을 제시한다.