聖塔非研究所

摘要 我們展示瞭如何使用機器的因果表示來有效地列舉一類有限記憶體隨機過程

2025-03-05 · 已發表論文 · 更新 2026/03/18 下午02:33

摘要 我們展示瞭如何使用機器的因果表示來有效地列舉一類有限記憶體隨機過程。我們用自動機理論的語言來描述ϵ 機器，並採用最新的演算法來產生可訪問的確定性有限自動機，將這個過大的類別修剪為ϵ 機器。作為一個應用程序，我們精確地列舉了最多八個狀態和六個字母的拓撲機器。