论文给出工具访问提升有限精度循环模型表达力的条件与构造。
资讯摘要
论文研究工具访问何时提升有限精度循环序列模型的计算表达力。作者将此类模型建模为与预言机交互的确定性有限状态控制器，并给出分离结果：有界接口工具可被内化，仅需⌈log₂|M|⌉+O(1)个循环比特；而单条无界纸带配合局部读写移动命令即可实现图灵完备。作者报告该构造可由单层有限精度选择性仿射SSM精确实现。
要点速读
- 有界接口工具可被内化，代价至多⌈log₂|M|⌉+O(1)个循环比特，系统仍为有限状态。
- 单条无界纸带仅需局部读写移动命令即可实现图灵完备，模拟单带图灵机需O(log|Q|+log|Γ|)个循环比特。
- 作者称该构造可由单层有限精度选择性仿射SSM精确实现；结论针对确定性语义下的精确表达力，不涉及可学习性或实证性能。
中文摘要由 AI 根据公开来源生成，可能存在理解偏差；具体能力、数字、开放时间等信息请以原文为准。
采集于 2026/10/23 08:00:11（北京时间）。 arXiv 日期为本次公告时间，论文初次投稿日期请查看原文版本记录。