추상 수 체계의 열거 급수와 유리 자동화 이론의 연결

초록

이 논문은 유리 추상 수 체계(ANS)의 열거 급수가 자연수 계수의 유리 급수(N‑rational series)임을 직접적인 구성으로 증명하고, 이를 통해 단어의 값 계산과 인식 가능한 수 집합의 자동화 구성을 효율적으로 수행하는 방법을 제시한다. 또한 주어진 N‑rational 급수가 ANS에 대응되는지 여부를 결정할 수 있음을 보인다.

상세 분석

논문은 먼저 추상 수 체계(ANS)를 “언어 L과 알파벳 A, 그리고 사전 순서 < 로 정의된 무한 언어”로 정형화한다. 이때 L이 유리 언어이면 ANS를 유리 ANS라 부른다. 핵심 개념인 열거 급수 E_S는 각 단어 w∈L에 대해 π_S(w)+1을 계수로 갖는 N‑시리즈이며, 이는 L 자체를 완전히 복원할 수 있는 정보를 담고 있다.
첫 번째 주요 정리(Theorem 1)는 유리 ANS의 열거 급수가 N‑rational series임을 보인다. 기존 증명은 복잡한 전이 변환을 이용했지만, 저자들은 무모순 자동화와 행렬 표현을 활용해 차원 2k²+k(여기서 k는 L을 인식하는 최소 결정적 자동화의 상태 수)의 N‑표현을 직접 구성한다. 핵심 아이디어는 각 단어 u에 대해 “u보다 작은 모든 단어 집합 P(u)”의 크기를 자동화의 전이 행렬을 통해 누적하는 것이다. Lemma 3은 P(ua)를 1·A* ∪ u·A_a ∪ P(u)·A 로 분해함으로써 재귀적 계산을 가능하게 한다. 이 분해를 행렬식으로 옮기면 λ·µ(P(ua))·ν = λ·ν + λ·µ(u)·σ_a·ν + λ·µ(P(u))·σ·ν 형태가 되며, 여기서 σ와 σ_a는 각각 전체 알파벳과 알파벳보다 작은 집합에 대한 전이 행렬이다. 이를 (η,κ,ζ)라는 새로운 차원의 표현으로 통합하면, 모든 u에 대해 λ·µ(P(u))·ν = η·κ(u)·ζ 가 성립한다. 최종적으로 열거 급수 E_S는 s⊙L (Hadamard 곱) 형태로 표현되며, N‑rational 성질을 유지한다.
두 번째 정리(Theorem 2)는 역문제로, 주어진 N‑rational 급수가 어떤 유리 ANS의 열거 급수인지 여부를 결정 가능한 알고리즘을 제공한다. 이는 급수의 지원(supp) 언어가 유리인지, 그리고 그 언어에 대한 사전 순서 매핑이 일대일 대응을 만족하는지를 검사함으로써 구현된다.
알고리즘적 측면에서 저자들은 값 계산을 위한 특수화된 절차를 제시한다. 일반적인 N‑표현을 이용한 O(ℓ·n²) 연산 대신, 원래의 자동화(차원 k)와 σ,σ_a 행렬만을 사용해 O(ℓ·k²) 연산으로 π_L(w)를 구한다. 이 과정은 α(w)와 γ(w)라는 두 벡터를 순차적으로 업데이트하며, α(w)는 단어가 L에 속하는지를 0/1 로 표시하고, γ(w)는 누적 카운트를 저장한다. 최종 값은 γ(w)·ν 로 얻어진다.
또한 인식 가능한 수 집합 X⊂ℕ에 대해 h_X^L = { w∈L | π_L(w)∈X } 를 인식하는 자동화를 구성한다. 특히 모듈러 집합 X_{p,r}=pℕ+r에 대해서는 원 자동화의 상태를 p배 확장한 k·p·k 개 이하의 상태를 갖는 결정적 자동화를 만들 수 있음을 보인다. 이는 기존 결과를 보다 구체적인 구조와 복잡도 분석으로 강화한다.
전체적으로 논문은 추상 수 체계와 전통적인 유한 자동화·유리 급수 이론 사이의 다리 역할을 수행한다. 열거 급수의 N‑rational성은 계산 가능성을 보장하고, 역결정 가능성은 설계 단계에서 시스템이 유리 ANS인지 검증할 수 있게 한다. 이러한 결과는 수 체계의 형식적 분석, 코딩 이론, 그리고 자동화 기반의 수학적 모델링에 직접적인 응용 가능성을 제공한다.