在正则语言上的数位系统：算术运算、可识别性和形式幂级数
摘要：可由描述一个按字典顺序排序的无限正则语言L和有限字母表A来获得一般化的基数系统，其中N可被一个有限自动机识别。对于这些系统，我们通过有理形式级数来给出可识别的整数集合的表征。我们还展示了，如果L的复杂度是Theta(n^q)（或者如果L是一个多项式语言的补），那么只有当k=t^{q+1}（或者k不是A的基数的幂）时，由整数k进行乘法才能保持可识别性，其中t是一个整数。最后，我们获得了对于可识别性和U-可识别性概念等价的充分条件，其中U是与一个整数序列相关的某个位置型基数系统。
作者：Michel Rigo
论文ID：cs/9911002
分类：Computational Complexity
分类简称：cs.CC
提交时间：2007-05-23