다차원 일반화 자동수열과 형태대칭 형태어

초록

이 논문은 d≥2 차원의 무한 배열 x : ℕ^d → Σ에 대해, 정규 언어 위에 정의된 추상 수 체계 S를 이용해 S‑자동성을 정의하고, 그러한 배열이 코딩을 통해 얻어지는 형태대칭 무한 단어와 동등함을 증명한다. 즉, S‑자동 배열은 정확히 형태대칭 형태어의 코딩 이미지이며, 두 개념 사이의 완전한 대응 관계를 제시한다.

상세 분석

논문은 먼저 1차원 자동수열의 전통적 정의를 복습하고, 이를 다차원으로 확장하기 위한 추상 수 체계(S)와 정규 언어 L의 구조를 정밀히 설정한다. L은 공백 문자열 ε를 포함하고, L의 각 단어는 ℕ^d의 한 점을 고유히 인코딩한다. 자동수열 x는 입력 n∈ℕ^d를 L‑표현으로 변환한 뒤, 결정적 유한 자동기( DFA )에 공급하여 얻은 출력 심볼으로 정의된다. 핵심은 “형태대칭(shape‑symmetric)”이라는 개념이다. 이는 Maes가 제안한 것으로, 무한 배열을 생성하는 모픽(morphic) 변환이 각 차원에 대해 동일한 형태(패턴)를 유지하도록 설계된 경우를 말한다. 논문은 두 방향을 모두 증명한다. 첫째, 주어진 S‑자동 배열이 존재하면, 이를 생성하는 DFA의 전이 구조를 이용해 형태대칭 모픽 변환을 구성하고, 적절한 코딩을 통해 원 배열을 복원한다. 둘째, 형태대칭 무한 단어가 주어지면, 그 모픽 규칙을 정규 언어 L에 매핑하여 대응되는 추상 수 체계 S를 만들고, DFA를 설계함으로써 해당 배열이 S‑자동임을 보인다. 특히, 정규 언어가 ε를 포함함으로써 원점(0,…,0)도 정상적으로 인코딩될 수 있음을 강조한다. 증명 과정에서 사용된 주요 도구는 정규 언어의 유한 자동화, 모픽 코딩, 그리고 다차원 인덱스의 사전순 정렬이다. 또한, 논문은 기존의 “k‑자동” 개념과 차이를 명확히 구분하고, 추상 수 체계가 정규 언어에 기반함으로써 전통적인 베이스‑b 체계뿐 아니라 비정형 언어에도 적용 가능함을 보여준다. 마지막으로, 형태대칭 무한 단어가 갖는 구조적 특성—예를 들어, 각 차원에서 동일한 반복 구조와 자기유사성—이 자동성의 결정적 전이 규칙과 일치함을 논리적으로 연결한다. 이 결과는 다차원 문자열 이론, 형식 언어 이론, 그리고 자동수열 연구에 새로운 통합 프레임워크를 제공한다.