无损种子语言

多种相似性搜索算法采用种子技术以快速剔除极不相似的区域。在本文中，我们研究了无损种子（即具有完全灵敏度的间隔种子）的理论性质。我们证明了无损种子与某些 sofic 子移的语言相吻合，因此它们可由有限自动机识别。此外，我们证明了这些子移完全由允许的错误数 $k$ 和种子边距 $l$ 决定。我们还证明了对于固定的 $k$，最优种子必须渐近满足 $l \sim m^{k/(k+1)}$。