호프다터 수열 변형과 유한 자동기

초록

본 논문은 호프다터 Q-수열의 변형을 정의하고, 해당 수열이 2‑자동수(2‑automatic)임을 증명한다. 저자들은 수열을 생성하는 유한 자동기(automaton)를 명시적으로 구성하고, 자동기의 상태 전이와 출력 규칙을 통해 수열의 각 항을 이진 표현으로 효율적으로 계산할 수 있음을 보인다. 또한 기존 연구와의 관계를 논의하며, 자동기 이론을 활용한 수열 분석 방법론을 제시한다.

상세 분석

논문은 먼저 Hofstadter의 유명한 Q‑수열 Q(n)=Q(n‑Q(n‑1))+Q(n‑Q(n‑2))을 변형한 새로운 재귀식 R(n)=R(n‑R(n‑1))+R(n‑R(n‑3))을 소개한다. 여기서 초기값은 R(0)=R(1)=R(2)=1 로 설정하고, n≥3에 대해 정의한다. 저자들은 이 변형이 기존 Q‑수열과는 다른 성장 패턴을 보이며, 특히 이진 표현에서 일정한 규칙성을 나타낸다는 실험적 관찰을 제시한다.

핵심 증명은 R(n)의 이진 자릿수 패턴이 2‑자동수의 정의와 일치한다는 점에 있다. 이를 위해 저자들은 먼저 R(n) mod 2와 R(n) mod 4의 값을 재귀적으로 분석하고, 이를 기반으로 “상태”를 정의한다. 상태는 현재 인덱스 n의 이진 접미사와 R(n) 값의 잔여 정보를 포함한다. 이후, 상태 전이 함수를 명시적으로 구성하여, 입력 비트(즉, n의 이진 표현의 다음 비트)가 주어질 때 다음 상태와 출력(즉, R(n)의 현재 비트)이 결정되도록 설계한다.

자동기의 구조는 총 8개의 상태로 구성되며, 각 상태는 (a,b,c) 형태의 튜플로 표현된다. 여기서 a는 현재 R(n) mod 2, b는 R(n‑1) mod 2, c는 R(n‑3) mod 2를 나타낸다. 전이 규칙은 n의 이진 비트가 0일 때와 1일 때로 구분되며, 각각의 경우에 대해 새로운 튜플을 계산한다. 출력 함수는 현재 상태의 a값을 그대로 반환함으로써, R(n)의 이진 자릿을 순차적으로 생성한다.

자동기가 유한하고 결정적이며, 입력 스트림(인덱스 n의 이진 표현) 위에서 동작하므로, R(n) 전체 수열은 2‑자동수임이 증명된다. 이와 더불어 저자들은 자동기의 최소성(minimality)을 확인하고, Myhill‑Nerode 관계를 이용해 상태 수가 더 이상 감소할 수 없음을 보인다.

마지막으로, 자동기 구현을 위한 의사코드와 실제 파이썬 구현 예시를 제공한다. 이를 통해 R(n)의 n번째 항을 O(log n) 시간 안에 계산할 수 있음을 시연한다. 전체 논의는 자동기 이론과 재귀적 수열 분석을 연결하는 좋은 사례를 제시하며, 향후 다른 비선형 재귀수열에 대한 자동성 검증 가능성을 열어준다.