[论文解读] Decidability of the HD0L ultimate periodicity problem

Fabien Durand|arXiv (Cornell University)|Nov 14, 2011

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關於非增長取代中長週期字串的結果，將非增長情形簡化為增長情形。
• 透過同態矩陣計算的字串長度增長界，對取代深度層級進行有限歸納。
• 透過分析子序列σ^{j₀+i+kn₀}(aᵢ)（固定i，k遞增）在B^ℕ上的乘積拓撲中之極限點，計算(ϕ(σⁿ(w)))的累積點。
• 利用引理11，根據所有相關索引i的極限序列uᵢvᵢ^ω是否相等，得出極限純粹週期性的結論。

实验结果

研究问题

• RQ1 給定的HD0L序列是否會收斂至極限純粹週期序列，此問題是否可判定？
• RQ2 即使同態序列本身不收斂，是否仍可判定由同態與編碼產生的序列之極限純粹週期性？
• RQ3 極限純粹週期性的可判定性是否可擴展至超越原始或增長情形的廣義HD0L系統？
• RQ4 抽象數值系統的結構是否可用來表徵可識別的整數集合為算術進程的有限並集？
• RQ5 用於一維HD0L系統的方法，能在多大程度上推廣至高維自動序列或密鋪？

主要发现

• HD0L極限純粹週期性問題具有可判定性，解決了符號動力學與形式語言理論中三十年來的懸而未決問題。
• 即使序列(σⁿ(w))不收斂，只要(ϕ(σⁿ(w)))在乘積拓撲中收斂，可判定性依然成立。
• 對於任意字元a，可判定|ϕ(σⁿ(a))|是否趨於零、無窮大或保持有界，方法為基於矩陣增長與同態編碼分析。
• 在B^ℕ中，(ϕ(σⁿ(w)))的累積點集合是可計算的，進而可透過極限序列比較有效測試極限純粹週期性。
• 極限序列limₖ→∞ ϕ(σ^{j₀+i+kn₀}(aᵢ))為極限純粹週期序列，當且僅當其最終尾部相等且為週期序列。
• 雖然演算法複雜度較高，但提供了完整且可判定的方法，用以測試給定HD0L系統是否產生極限純粹週期序列。