正则语言获胜集的描述复杂性
形式语言与自动机理论
2020-04-29 v1
摘要
我们研究具有可变回合顺序的某些构词游戏。在这些游戏中，Alice与Bob轮流选择定长单词的连续字母，若结果落于预定目标语言则Alice获胜。导致Alice获胜的回合顺序构成一种二元语言，当目标语言为正则时该语言亦为正则；我们基于目标语言的状态复杂性，证明了其状态复杂性的若干上界与下界。
引用
@article{arxiv.2004.13668,
title = {Descriptional Complexity of Winning Sets of Regular Languages},
author = {Pierre Marcus and Ilkka Törmä},
journal= {arXiv preprint arXiv:2004.13668},
year = {2020}
}
备注
18 pages, 7 figures