다항식 성장 함수를 구현하는 D0L‑시스템의 완전성

초록

본 논문은 자연수에서 양의 정수로 값을 갖는 모든 다항식 함수를 D0L‑시스템의 성장 함수로 구현할 수 있음을 증명한다. 저자는 다항식의 차수별 구성법을 제시하고, 이를 통해 임의의 다항식이 D0L‑시스템의 단어 길이 증가 패턴과 정확히 일치함을 보인다. 또한 기존 연구와의 관계를 정리하고, 결과의 계산 복잡도와 적용 가능 범위에 대해 논의한다.

상세 분석

논문은 형식 언어 이론에서 중요한 위치를 차지하는 D0L‑시스템의 성장 함수에 대한 근본적인 질문을 제기한다. 기존에는 선형·지수적 성장에 대한 결과가 주로 다루어졌으며, 다항식 성장에 대한 일반적인 존재 증명은 부족했다. 저자는 먼저 D0L‑시스템의 정의와 성장 함수 (g_{\mathcal{S}}(n)=|w_n|) (여기서 (w_n)은 n번째 파생 단계의 단어) 를 명확히 하고, 성장 함수가 항상 비감소이며 정수값을 갖는 점을 강조한다. 그런 다음, 임의의 다항식 (p(k)=a_d k^d + \dots + a_1 k + a_0) (모든 계수 (a_i)는 양의 정수) 를 목표 함수로 설정한다. 핵심 아이디어는 차수 (d)에 따라 기본적인 “카운터” 모듈을 구성하고, 이를 반복 적용하여 고차항을 구현하는 것이다. 구체적으로, 저자는 다음과 같은 두 단계 전략을 제시한다. 1) 기본 D0L‑규칙 집합 (R_1)을 정의하여 각 파생 단계에서 단어 길이가 선형적으로 증가하도록 만든다. 여기서는 알파벳 기호 (A)와 보조 기호 (B)를 이용해 (A \to AB), (B \to B) 형태의 규칙을 사용한다. 2) 차수 (d)에 대해 재귀적으로 규칙 집합 (R_{i+1})을 구성한다. (R_i)가 (k^{i}) 항을 구현한다면, 새로운 기호 (C)를 도입해 (C \to C R_i) 형태의 규칙을 추가함으로써 (k^{i+1}) 항을 생성한다. 이 과정에서 계수 (a_i)는 기호의 복제 수와 초기 단어에 삽입되는 상수 블록을 조절함으로써 정확히 맞춘다. 저자는 이러한 구성법이 모든 양의 정수 계수를 허용하도록 일반화될 수 있음을 수학적 귀납법으로 증명한다. 또한, 성장 함수가 정확히 목표 다항식과 일치하도록 초기 단어와 기호 순서를 세밀히 조정하는 절차를 제시한다. 증명 과정에서는 각 단계에서 발생하는 중복과 불필요한 파생을 방지하기 위해 “정규화” 기법을 도입한다. 이는 기호 집합을 최소화하고, 파생 과정이 다항식의 각 항에 대응하도록 보장한다. 마지막으로, 저자는 구성된 D0L‑시스템이 실제로 다항식 성장 함수를 구현함을 확인하기 위해 몇 가지 구체적인 예시(예: (p(k)=3k^2+2k+5))를 제시하고, 시뮬레이션 결과와 이론적 계산이 일치함을 보여준다. 이 논문은 D0L‑시스템이 단순히 선형·지수적 성장에 국한되지 않고, 다항식 형태의 복잡한 성장 패턴까지 포괄할 수 있음을 강력히 입증한다.