摘要：p和q互不相等于2的整数。如果一个无限集合既是p可识别的又是q可识别的，则它是突跃的。这个结果在著名的Cobham定理的经典证明中是必需的。因此，本文的目的是完成[13]和[1]的工作，以获得Cobham定理的可访问证明。
作者：M. Rigo, L. Waxweiler
论文ID：0907.0624
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2009-07-06
PDF 下载： 英文版 中文版pdf翻译中