음수 진법과 자동화 이론의 새로운 연결

초록

이 논문은 음의 비정수 진법 –β에 대한 전개 방식을 연구한다. β가 피수트 수일 때, –β 전이 시스템이 소피크이며, 덧셈과 정규화가 유한 트랜스듀서로 구현될 수 있음을 보인다. 또한 양의 β에서 –β로의 실시간 변환 알고리즘을 제시한다.

상세 분석

Ito와 Sadahiro가 도입한 –β 전개는 기존 양의 β 전개와 달리 부호가 뒤바뀐 형태로, 각 자리값이 (–β)ⁿ으로 표현된다. 저자들은 이 전개와 일대일 대응하는 무한 자동자를 구성하고, 그 자동자의 상태 전이 구조를 분석하여 –β-시프트가 유한 타입(Finite Type)인지 여부를 판정한다. 핵심은 “admissible word”의 언어를 정의하고, 이를 정규 언어와 연결시키는 과정이다. β가 피수트 수(Pisot number)일 경우, 그 최소다항식의 근들이 복소평면 안쪽에 위치하므로, (–β)ⁿ의 절대값이 급격히 감소한다. 이 수학적 성질을 이용해 자동자의 상태 수가 유한함을 증명하고, 따라서 –β-시프트가 소피크(sofic) 시스템임을 보인다. 소피크성은 결국 유한 상태 기계로 언어를 인식할 수 있음을 의미한다. 이어서 저자들은 임의의 알파벳 위에서의 정규화(normalization) 문제를 다루며, 입력 문자열을 표준 –β 전개로 변환하는 유한 트랜스듀서를 설계한다. 이 트랜스듀서는 각 자리의 캐리와 보정 연산을 로컬하게 처리하도록 설계돼, 실시간(online) 변환이 가능하다. 마지막으로 양의 β 전개를 –β 전개로 변환하는 온라인 알고리즘을 제시한다. 이 알고리즘은 입력을 한 자리씩 읽으며, 현재까지의 부분합을 –β 기반으로 재계산하고, 필요 시 캐리를 전파한다. β가 피수트 수이면, 앞서 증명한 유한 트랜스듀서 구조와 결합해 전체 변환 과정을 완전한 유한 자동화로 구현할 수 있다. 전체 논문은 음수 진법의 이론적 기반을 자동이론과 연결함으로써, 수론적 성질이 자동화 설계에 직접적인 영향을 미치는 사례를 제시한다.