正则语言的获胜集：描述性和计算复杂度
摘要：对变量顺序的某些词汇构建游戏进行了研究。在这些游戏中，爱丽丝和鲍勃轮流选择一个固定长度的单词的连续字母，如果结果在预定的目标语言中，则爱丽丝获胜。导致爱丽丝获胜的轮流顺序形成了一个二进制语言，当目标语言是正则的时候，该语言也是正则的，并且基于目标语言的状态复杂性，我们证明了它的状态复杂性的一些上下界。我们还考虑了获胜集合的成员和交集问题的计算复杂性。
作者：Pierre Marcus and Ilkka T"orm"a
论文ID：2105.00452
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2021-05-04