분리자열열과 등분포 정상성의 한계와 새로운 특성

초록

본 논문은 separator enumerator 라는 이름 매김 체계를 이용해 정의된 f‑정상성에 대해, 등분포 특성만으로는 일반적인 경우를 완전히 규정할 수 없음을 보인다. 두 개의 계산 가능한 separator enumerator f₀, f₁와 점 x를 구성해 a⁽ᶠ⁰⁾ₙ(x)=a⁽ᶠ¹⁾ₙ(x)임에도 불구하고 dim⁽ᶠ⁰⁾{FS}(x)=0, dim⁽ᶠ¹⁾{FS}(x)=1임을 보이며, 등분포 기준이 전역적으로 실패함을 증명한다. 반면, 유한 상태 일관성(finite‑state coherence)이라는 구조적 제한 하에서는 k‑진법 등분포와 f‑정상성이 동치임을 보여준다. 또한 거의 선형 시간으로 계산 가능한 separator enumerator에서도 이 동등성이 깨질 수 있음을 제시한다.

상세 분석

이 논문은 Mayordomo가 제시한 separator enumerator 기반의 f‑정상성 개념을 심도 있게 탐구한다. 먼저, separator enumerator f는 유한 문자열 w에 실수값 f(w)∈