모든 추상 수 체계에서 인식 가능한 다차원 집합은 1인식 집합과 동일

초록

이 논문은 N^d의 부분집합이 모든 추상 수 체계에서 S‑인식될 필요충분조건이 바로 1‑인식(단일 기호 언어로 표현 가능한) 집합임을 증명한다. 기존의 Cobham‑Semenov 정리와 달리, 다차원에서는 반정규(세미선형) 집합이 충분하지 않으며, 1‑인식 집합이 정확한 클래스를 형성한다.

상세 분석

논문은 먼저 추상 수 체계(S)와 S‑인식 개념을 정의하고, 1‑인식 집합을 ‘{a^n : n∈X}’가 정규 언어가 되는 경우로 소개한다. Cobham 정리의 다차원 확장인 Cobham‑Semenov 정리는 두 서로곱독립인 진법 k,ℓ에 대해 k‑자동과 ℓ‑자동인 집합이 정확히 세미선형임을 말한다. 그러나 예시 8에서 (n,2n)와 같은 세미선형 집합이 1‑인식이 아님을 보여, 다차원에서는 세미선형과 1‑인식이 일치하지 않음을 강조한다. 핵심은 정리 13의 분해 정리(Eilenberg‑Elgot‑Shepherdson)로, (·)# 패딩을 이용해 다중 문자열을 하나의 문자열로 변환하고, 정규성은 ‘계층적’인 부분알파벳 Σ_A_i 로 구성된 정규 언어들의 유한 합으로 표현될 수 있음을 보인다. 이를 바탕으로 Lemma 16에서 1‑인식 집합을 특정 형태(식 (1))의 유한 합으로 정확히 기술한다. 이후 Lemma 18과 일련의 구성 과정을 통해, 식 (1) 형태의 집합이 결국 ‘선형 부등식·동등식’의 유한 교·합으로 분해될 수 있음을 보이며, 이러한 집합은 모든 추상 수 체계 S에 대해 rep_S(X)# 가 정규가 됨을 증명한다. 반대 방향은 Lecomte‑Rigo의 1‑인식 집합이 모든 S에서 인식된다는 기존 결과를 이용한다. 최종적으로 Theorem 9가 “X가 모든 S에서 S‑인식 ⇔ X가 1‑인식”을 확립한다. 논문은 또한 구체적인 예시(예 10)를 통해 실제 자동구성 방법을 제시하고, 1‑인식 집합이 다차원에서도 강력한 보편성을 가진다는 점을 강조한다.