형식 언어에서의 폐쇄 연산과 쿠라토프스키 정리

초록

이 논문은 전통적인 위상수학의 쿠라토프스키 정리를 형식 언어 이론에 옮겨, 언어에 대한 보완 연산과 두 종류의 폐쇄 연산(양의 폐쇄와 켈리 폐쇄)을 반복 적용했을 때 생성되는 대수 구조를 분류한다. 양의 폐쇄 경우 9가지, 켈리 폐쇄 경우 12가지의 서로 다른 대수가 존재함을 증명한다.

상세 분석

쿠라토프스키 정리는 “하나의 집합에 대해 폐쇄와 여집합을 번갈아 적용하면 최대 14개의 서로 다른 집합이 생성된다”는 위상학적 명제이다. 이 명제를 형식 언어에 적용하려면, 먼저 언어 L에 대한 두 종류의 폐쇄 연산을 정의한다. 양의 폐쇄 L⁺는 최소한 한 번 이상 반복되는 문자열들의 집합이며, 켈리 폐쇄 L는 L⁺에 공집합 ε를 추가한 것이다. 보완 연산은 Σ 전체 언어에 대한 차집합으로 정의한다. 논문은 이 세 연산을 임의의 언어 L에 순차적으로 적용했을 때, 생성되는 언어들의 집합이 닫힌 대수(algebra)를 형성한다는 점에 주목한다.

핵심은 “대수의 구조가 어떤 경우에 서로 동형(isomorphic)하게 되는가”를 판별하는 것이다. 저자들은 먼저 가능한 연산 순서를 그래프 형태로 모델링하고, 각 노드가 나타내는 언어가 이전 단계의 연산 결과임을 보인다. 그런 다음, 동등성 관계(동일 언어, 혹은 상보적 관계)를 이용해 그래프를 축소하고, 서로 다른 축소 그래프의 개수를 셈으로써 대수의 종류를 구한다.

양의 폐쇄에 대해서는, ε가 포함되지 않기 때문에 보완 연산과 결합했을 때 발생할 수 있는 “빈 언어”와 “전체 언어”의 전이 패턴이 제한된다. 결과적으로 9개의 서로 다른 대수가 도출된다. 반면 켈리 폐쇄는 ε를 포함하므로, 보완 후 다시 켈리 폐쇄를 적용했을 때 ε가 보존되거나 사라지는 두 가지 경우가 추가된다. 이 미세한 차이가 전체 가능한 패턴을 12가지로 늘린다.

또한 저자들은 각 대수에 대한 대표적인 예시 언어를 제시한다. 예를 들어, L = a⁺b⁺와 같은 정규 언어는 양의 폐쇄 대수에서 5개의 원소만을 생성하지만, L = (a|b)*와 같은 전체 언어는 모든 14개의 원소를 생성한다는 점을 보여준다. 이러한 예시는 대수의 크기와 구조가 원래 언어의 특성(예: ε 포함 여부, 무한성)과 어떻게 연관되는지를 명확히 한다.

마지막으로, 논문은 이 결과가 형식 언어 이론뿐 아니라 자동화 이론, 정규 표현식 최적화, 그리고 언어 기반 보안 모델링 등 다양한 분야에 적용 가능함을 논의한다. 특히, 언어 연산의 제한된 조합만으로도 복잡한 구조를 만들 수 있다는 점은 알고리즘 설계 시 연산 최소화 전략을 제공한다.