关于非完备集合和Restivo猜想的研究
摘要：一个有限的字母表A上的单词集合S被称为非完全的，如果Fact(S*)与A*不同。在A* - Fact(S*)中的单词w被称为不可完全。我们提出了一系列非完全集合S_k，其中最小的不可完全单词的长度为5k^2 - 17k + 13，其中k > 3是S_k中单词的最大长度。这是对Restivo猜想的无穷个反例，该猜想认为任何非完全集合都存在一个长度最多为2k^2的不可完全单词。
作者：Vladimir V. Gusev, Elena V. Pribavkina
论文ID：1104.0388
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2011-04-05