通过博弈求解星高问题
计算机科学中的逻辑
2017-08-14 v1 形式语言与自动机理论
摘要
本文提出了一种判定星高问题的新算法。正如 Kirsten 所证明的，星高问题可归约为一个关于带计数器自动机的问题，即有界性问题。本文的新贡献在于针对有界性问题提出了一种不同的算法，该算法将其归约为求解一个具有 -正则获胜条件的 Gale-Stewart 博弈。
引用
@article{arxiv.1708.03603,
title = {Star Height via Games},
author = {Mikolaj Bojanczyk},
journal= {arXiv preprint arXiv:1708.03603},
year = {2017}
}