基于Pell数系统的无穷平衡字的临界指数
Critical exponent of infinite balanced words via the Pell number system
摘要：
在Rampersad等人最近的一篇论文中，作者证明了在5个字母的字母表上无限平衡字的最小可能临界指数是$3/2$。我们证明了这一结果，使用一阶逻辑，佩尔数系统，和基于有限状态自动机的机器计算制定。
英文摘要：
In a recent paper of Rampersad et al., the authors conjectured that the smallest possible critical exponent of an infinite balanced word over a 5-letter alphabet is $3/2$. We prove this result, using a formulation of first-order logic, the Pell number system, and a machine computation based on finite-state automata.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
