无穷树的正则语言的确定性和游戏可分离性
摘要：关于无限树的两个正则语言是否可以用确定性语言或游戏语言进行分离的问题的可判定性。我们考虑了分离性的两个变体，取决于分离者的优先级集合是否固定。在每种情况下，我们证明了分离性可以在EXPTIME内判定，并且指出了指数大小的分离自动机是足够的。通过将问题转化为具有{omega}-正则获胜条件的无限期游戏，并应用B"uchi和Landweber的有限内存决定性定理获得了我们的结果。
作者：Lorenzo Clemente, Micha{l} Skrzypczak
论文ID：2105.01137
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2021-05-05