셔플 곱과 D‑유한 생성함수의 분석

본 논문은 ‘셔플 곱’이라는 연산을 중심으로 형식 언어와 생성함수 이론을 새롭게 연결한다. 서두에서는 언어 \(L\)의 일반 생성함수 \(L(z)=\sum_{w\in L}z^{|w|}\)와 지수 생성함수 \(\widehat L(z)=\sum_{n\ge0}\ell(n)z^n/n!\)를 정의하고, 정규 언어와 컨텍스트프리 언어가 각각 유리함수와 대수함수를 생성함을 재확인한다. 이어서 셔플 연산을 정의하고, 두 언어 \(L_1, L_2\)의 셔플 \(L_1\shuffle L_2\)에 대해 지수 생성함수는 \(\widehat L(z)=\widehat L_1(z)\widehat L_2(z)\)라는 간단한 곱 관계가 성립함을 보인다. 이는 셔플이 단어의 위치를 섞는 과정이 바로 Hadamard 곱과 동형임을 의미한다. 다음으로 셔플 폐쇄 개념을 도입한다. 임의의 언어 클래스 \(C\)에 대해 \(S_0=C\), \(S_{n+1}=\{L_1\shuffle L_2\mid L_1\in S_n, L_2\in C\}\) 로 정의된 무한 합집합을 \(C\)의 셔플 폐쇄라 부른다. 정규 언어는 셔플에 대해 닫혀 있어 여전히 정규이며, 따라서 생성함수는 유리함수에 머문다. 반면, 컨텍스트프리 언어는 셔플에 대해 닫히지 않지만, 그 셔플 폐쇄 \(\mathcal{CF}^{\shuffle}\)는 모든 원소가 D‑유한(holonomic) 생성함수를 가진다. 이는 D‑유한 함수가 Hadamard 곱에 대해 닫혀 있다는 사실을 셔플 연산에 적용한 결과이며, 정리 2.1과 그 증명에서 상세히 전개된다. 정리 2.1에 따르면, 두 언어 \(L_1, L_2\)가 각각 D‑유한(또는 이항) 생성함수를 갖는다면, 그 셔플 \(L_1\shuffle L_2\)도 D‑유한 생성함수를 갖는다. 이는 지수 생성함수의 곱이 D‑유한이면, Hadamard 곱을 역으로 적용해 일반 생성함수 역시 D‑유한이 된다는 논리와 일치한다. 결과적으로, 비내재적 모호성을 갖지 않는 컨텍스트프리 언어들의 셔플은 D‑유한 함수를 만든다(코롤라리 2.2). 또한, 셔플 폐쇄 전체가 D‑유한 함수를 포함한다(코롤라리 2.3). 구체적인 예시로 저자는 Dyck 언어 \(D\)와 그 변형 \(E\)를 사용한다. 두 언어의 일반 생성함수는 Catalan 수와 동일하게 \(\displaystyle D(z)=E(z)=\sum_{n\ge0}\frac{1}{n+1}\binom{2n}{n}z^n\)이다. 셔플된 언어의 계수 \(\ell(n)\)는 이항계수와 Catalan 수의 합으로 표현되며, Stirling 근사를 적용하면 \(\ell(n)\sim 4^n/n\)가 된다. 이는 대수적 함수의 전형적인 \(\Theta(n^{\alpha})\) 성장과는 다른 초지수 성장이며, 따라서 셔플 폐쇄가 알제브라적(대수적) 클래스보다 엄격히 큰 함수를 포함함을 보여준다. 다음 섹션에서는 ‘포인팅(마킹)’ 연산을 소개한다. 단어 \(w\)의 각 문자 위치에 마크를 붙인 집합 \(P(w)\)는 \(|w|\)배 만큼 계수를 늘리며, 이는 미분 연산 \(\frac{d}{dz}\)와 동형이다. 포인팅만으로는 생성함수 클래스가 확장되지 않지만, 디포인팅(마크 제거) 연산과 결합하면 집합·사이클 구조를 모델링할 수 있다. 그러나 이러한 구조는 일반적으로 D‑유한이 아닌 초지수 함수를 만든다(예: \(\exp(\exp(z)-1)\)). 그 후 저자는 차별적으로 대수적(DA) 함수와 구성 가능 미분 대수적(CDF) 함수를 논한다. DA 함수는 다항식 형태의 고차 미분 방정식을 만족하고, D‑유한·CDF 함수를 모두 포함한다. 특히 DA 함수는 곱의 역원과 Hadamard 곱에 대해 닫혀 있어 셔플 연산과 자연스럽게 호환된다. 마지막으로 ‘셔플 문법’이라는 새로운 형식 문법 체계를 제시한다. 비터미널에 셔플 연산 규칙을 부여함으로써, 임의의 선형 미분 방정식(다항 계수)을 만족하는 생성함수를 갖는 언어를 구성할 수 있음을 보인다. 이는 기존 컨텍스트프리 문법이 다루지 못하던 D‑유한 함수를 언어 이론 안에서 모델링하는 첫 시도이며, 셔플 연산이 언어와 분석적 복잡도 사이의 다리를 놓는 핵심 도구임을 강조한다. 전체적으로 논문은 셔플 연산을 통해 언어 이론의 전통적인 정규·컨텍스트프리 계층을 넘어 D‑유한(holonomic) 함수라는 풍부한 분석적 클래스를 포괄하는 새로운 언어 계층을 정의한다. 셔플 폐쇄가 D‑유한 함수를 보존한다는 결과와, 셔플 문법을 이용해 선형 미분 방정식에 대응하는 언어를 구성할 수 있다는 점은 조합론, 형식 언어, 그리고 복소해석 사이의 상호작용을 심화시키는 중요한 기여이다.