无限状态系统的合成
计算机科学中的逻辑
2026-05-29 v2
摘要
经典的教会合成问题由 Buchi 和 Landweber 求解，针对的是有限状态系统的合成。相对于无限状态系统的合成，则自从此后仅被少数人研究，没有完整或系统的解决方案。我们present 对无限状态系统合成的系统性研究。主要步骤涉及 MSO 可定义的奇偶博弈的合成，这需要找到这些博弈中 MSO 可定义的均匀无记忆获胜策略。
引用
@article{arxiv.2501.08713,
title = {Synthesis of Infinite State Systems},
author = {Ohad Drucker and Alexander Rabinovich},
journal= {arXiv preprint arXiv:2501.08713},
year = {2026}
}