在一个有理进制数系中有理表示的数集
摘要：在这项工作中，证明了一个在加法下封闭且其在有理基数系统表示中是有理语言的数字集合不是有限生成的加法幺半群。证明的关键是对语言定义了一种强组合性质：有界左迭代性质。它既是在通常的形式语言理论中非自然的性质（因为它与任何一种泵引理相矛盾），同时也是利用有理基数系统定义的语言的理想特征。
作者：Victor Marsault, Jacques Sakarovitch
论文ID：1208.5412
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2013-10-04