由索引语言确定的无限单词
摘要：确定由索引语言确定的无限字母的特征。 如果每个字母串都是$alpha $前缀，则无限语言$L$确定无限字母 $alpha $。 如果$L$是正则或上下文无关的，则已知 $alpha $必定是最终周期的。 我们证明，如果$L$是索引语言，则 $alpha $是一个形态字母，即 $alpha $可以通过在编码下迭代变换生成。 由于另一个方向，即每个形态字母都由一些索引语言确定，也成立，这意味着由索引语言确定的无限字母正是形态字母。 为了得到这个结果，我们证明了一种新的索引语言的泵引理，这可能是一个独立的兴趣点。
作者：Tim Smith
论文ID：1406.3373
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2014-06-18