关于交替塔长度的上下界研究

摘要:两个正则语言之间的一个塔是一个字符串序列,其中在奇数位置上的所有字符串属于其中一种语言,在偶数位置上的所有字符串属于另一种语言,并且每个字符串可以嵌入到序列中的下一个字符串中。已知如果存在任意长度的塔,则也存在一个无限塔。我们研究在没有无限塔的情况下,两个正则语言之间的有限塔的长度上界和下界,考虑到表示语言的自动机的大小。该问题与由分段可测试语言分离正则语言的问题相关。

作者:v{S}tv{e}p''an Holub, Galina Jir''askov''a, Tom''av{s} Masopust

论文ID:1404.4495

分类:Formal Languages and Automata Theory

分类简称:cs.FL

提交时间:2014-07-10

PDF 下载: 英文版 中文版pdf翻译中