聖塔非研究所 列舉有限進程 2026-03-18 · 工作論文 · 更新 2026/03/18 下午02:20 摘要 我們展示如何使用 ε 機器的因果表示來有效地列舉一類有限記憶體隨機過程。我們用自動機理論的語言來描述 ε 機器，並採用最新的演算法來產生可訪問的確定性有限自動機，將這個過大的類別修剪為 ε 機器。作為一個應用程序，我們精確地列舉了最多七個狀態和六個字母的拓撲 ε 機。 原文連結PDF 來源 本頁只刊出中文翻譯與中文說明；英文原文請見下方原文連結。 原文連結 原文連結 PDF 來源 論文資訊 類型：工作論文 編號：工作論文 #297 日期：2026-03-18 摘要 我們展示如何使用 ε-機器的因果表示來有效地列舉一類有限記憶體隨機過程。我們用自動機理論的語言來描述 ε-機器，並採用最新的演算法來產生可訪問的確定性有限自動機，將這個過大的類別修剪為 ε-機器。作為一個應用程序，我們精確地列舉了最多七個狀態和六個字母的拓撲 ε 機。