正规语言的构建与多项式的可识别性
摘要：一种广义的表示数字系统可以通过描述一个按字典顺序排序的无限正则语言来识别自然数集合N的有限自动机获得。在这里，我们证明如果P属于Q[x]是一个多项式，使得P(N)是N的一个子集，那么我们可以构造一个表示P(N)的数字系统是正则的。在这个构造中，主要问题是为了建立一个密度函数等于P(n+1)-P(n)（对于足够大的n）的正则语言。
作者：Michel Rigo
论文ID：cs/9908018
分类：Computational Complexity
分类简称：cs.CC
提交时间：2007-05-23