[논문 리뷰] Decidability of the HD0L ultimate periodicity problem

Fabien Durand|arXiv (Cornell University)|2011. 11. 14.

Cellular Automata and Applications참고 문헌 23인용 수 12

한 줄 요약

이 논문은 HD0L 최종 주기성 문제의 결정 가능성을 입증한다. 즉, 초기 단어에 대해 모르피즘을 반복적으로 적용한 후 코딩을 거친 후 수열이 최종적으로 주기적인 수열로 수렴하는지 여부가 알고리즘적으로 결정 가능한지 입증한다. 이 해결책은 모폴리즘의 성장 행동 분석, 시스템을 원시적 구성 요소로 분해하고, 원시적 치환과 주기적 구조에 대한 유한 상태 유도의 결정 가능 결과를 활용한다.

ABSTRACT

In this paper we prove the decidability of the HD0L ultimate periodicity problem.

연구 동기 및 목표

• 형식 언어 이론에서 오랫동안 미해결된 문제를 해결하기 위해: HD0L 시스템에 의해 생성된 수열이 최종 주기적인지 여부를 판단하는 것.
• D0L 시스템과 자동 수열에 대한 이전의 결정 가능 결과를 더 일반적인 HD0L 프레임워크로 확장하기 위해.
• 중간 수열 (σⁿ(w))이 수렴하지 않더라도, 최종 주기성 문제에 대한 알고리즘적 해법을 제공하기 위해.
• 추상 수진 체계에서 정수의 집합이 산술 급수의 유한 합집합인지 여부를 인식할 수 있는 의사결정 절차를 수립하기 위해.
• 다차원 시스템과 자기 유사 타일링으로의 결정 가능성 결과 확장을 위한 기초 작업을 마련하기 위해.

제안 방법

• 행렬 기반 성장 분석을 사용하여 모르피즘을 원시적 구성 요소와 비성장 케이스로 분류하기.
• Durand(2012)의 원시적 치환에 대한 결정 가능성 결과를 활용하여 원시적 구성 요소 내 주기성 분석하기.
• Pansiot의 비성장 치환에서의 장기간 주기적 단어 결과를 적용하여 비성장 케이스를 성장 케이스로 환원하기.
• 모르피즘 행렬을 통한 단어 길이 성장의 계산 가능한 경계를 사용하여 치환 깊이 단계별로 유한 유도 수행하기.
• 고정된 i에 대해 증가하는 k에 대해 σ^{j₀+i+kn₀}(aᵢ)의 부분수열을 분석하여 B^ℕ에서의 누적점 계산하기.
• Lemma 11을 사용하여 모든 관련 인덱스 i에 대해 극한 수열 uᵢvᵢ^ω가 동일할 경우 최종 주기성 결론 도출하기.

실험 결과

연구 질문

• RQ1 주어진 HD0L 수열이 최종 주기적인 수열로 수렴하는지 여부가 결정 가능한가?
• RQ2 모르피즘 수열 자체가 수렴하지 않더라도, 모르피즘과 코딩에 의해 생성된 수열의 최종 주기성이 판단될 수 있는가?
• RQ3 최종 주기성의 결정 가능성은 원시적 또는 성장 케이스를 초월한 일반 HD0L 시스템으로까지 확장되는가?
• RQ4 추상 수진 체계의 구조를 활용하여 정수 집합이 산술 급수의 유한 합집합임을 특성화할 수 있는가?
• RQ5 일차원 HD0L 시스템에 사용된 방법이 다차원 자동 수열이나 타일링으로 얼마나 일반화될 수 있는가?

주요 결과

• HD0L 최종 주기성 문제의 결정 가능성은 입증되었으며, 이는 기호 동역학과 형식 언어 이론 분야에서 30년간 미해결이었던 문제를 해결한다.
• 수열 (σⁿ(w))이 수렴하지 않더라도, (ϕ(σⁿ(w)))가 제품 위상에서 수렴한다면 결정 가능성은 유지된다.
• 모든 문자 a에 대해 |ϕ(σⁿ(a))|가 0으로 수렴하는지, 무한으로 발산하는지, 또는 유계로 유지되는지 여부는 행렬 성장과 모르피즘 코딩 분석을 통해 결정 가능하다.
• B^ℕ에서 (ϕ(σⁿ(w)))의 누적점 집합은 계산 가능하며, 이는 극한 수열 비교를 통한 최종 주기성 효과적 테스트를 가능하게 한다.
• 극한 수열 limₖ→∞ ϕ(σ^{j₀+i+kn₀}(aᵢ))는 그 최종 尾부가 동일하고 주기적일 때에만 최종적으로 주기적이다.
• 알고리즘 절차는 복잡도가 높지만, 주어진 HD0L 시스템이 최종적으로 주기적인 수열을 생성하는지 여부를 완전히 결정할 수 있는 방법을 제공한다.