论抽象记数系统的枚举级数
离散数学
2011-08-30 v1 形式语言与自动机理论
摘要
已知任何有理抽象记数系统均可忠实且有效地由一个 N-有理级数表示。本文给出该结果的一个简单证明,由此得到的级数表示可简化该系统中字值的计算,并为可识别数集的识别提供简便构造。同时证明了反之亦可判定一个 N-有理级数是否对应于某个有理抽象记数系统。
引用
@article{arxiv.1108.5711,
title = {On the enumerating series of an abstract numeration system},
author = {Pierre-Yves Angrand and Jacques Sakarovitch},
journal= {arXiv preprint arXiv:1108.5711},
year = {2011}
}
备注
presented at the Journ\'ees Montoises d'Informatique Th\'eorique 2010, Sept. 2010, Amiens (France)