摘要：线性计数系统的推广，其中自然数集可被有限自动机识别，通过描述一个遵循字典顺序的任意无限正则语言来实现。对于这些计数系统，我们证明了最终周期集是可识别的。我们还研究了识别的翻译和常数的乘法，以及识别的顺序依赖性。
作者：Pierre B. A. Lecomte, Michel Rigo
论文ID：cs/9903005
分类：Other Computer Science
分类简称：cs.OH
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中