形式语言的算术进展筛选
摘要：通过一个序列s对形式语言L进行过滤，将L映射到仅由s中索引的L的单词的字母组成的集合。我们考虑通过所有等差数列进行过滤得到的语言。如果L是正则的，很容易看出只会产生有限个不同的语言。相反地，存在CFL会产生无限个不同的语言。我们使用我们的技术来展示操作diag，该操作提取以方阵排列的正方长单词的对角线，能保持正则性但不能保持上下文无关性。
作者：Hamoon Mousavi and Jeffrey Shallit
论文ID：1112.3758
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2012-04-02