论代数数的计算复杂度：重访 Hartmanis--Stearns 问题
数论
2017-11-15 v2 计算复杂性
组合数学
摘要
我们从计算视角考虑代数无理数的整数基展开的复杂度。我们证明对于多栈机类，Hartmanis--Stearns 问题可以令人满意地解决。在此方向上，我们的主要结果是代数无理实数的基-b 展开不能由确定性下推自动机生成。我们还确认了 Cobham 的一个旧断言，即证明此类数不能由膨胀因子大于 1 的标签机生成。
引用
@article{arxiv.1601.02771,
title = {On the computational complexity of algebraic numbers: the Hartmanis--Stearns problem revisited},
author = {Boris Adamczewski and Julien Cassaigne and Marion Le Gonidec},
journal= {arXiv preprint arXiv:1601.02771},
year = {2017}
}