研究：工具调用如何改变有限精度循环模型表达力

Nikola Zubić 等作者发表论文，把有限精度循环模型（含内部状态为 B 位的 SSM）建模为与 oracle 交互的确定性有限状态控制器，分析工具访问何时提升其表达能力。 论文称，带记忆集 M 的有限状态有界接口工具可被内化，代价至多 ⌈log₂|M|⌉+O(1) 个循环比特；而单条无界纸带只需局部 read/write/move 命令即可实现图灵完备。以 EQ_n 为例，无工具时需 2^n 个状态，有纸带时仅需常数大小控制器。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。