摘要：证明对于所有抽象记数系统S，N^d的子集S-可识别的集合正好是1-可识别的集合。这推广了Lecomte和Rigo在一维情况下的结果。
作者：Emilie Charlier and Anne Lacroix and Narad Rampersad
论文ID：1010.5391
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2010-10-27
PDF 下载： 英文版 中文版pdf翻译中