工具使用何时能提升有限精度循环模型的表达能力？

现代序列模型常作为代理交替生成令牌与调用外部工具。本文从架构层面精确分析了工具访问何时能提升计算表达力。研究将有限精度循环模型建模为通过有限接口与预言机交互的确定性有限状态控制器。结果表明：有限状态工具仅增加极少内存开销，系统仍为有限状态；而单一最小无限状态工具（如支持读写移动的磁带）即可使系统图灵完备，并展现出指数级的状态分离优势。此外，研究证明了该构造可由特定的选择性仿射状态空间模型精确实现。