BSS 计算模型在光学亦算中的嵌入
计算机科学中的逻辑
2007-05-23 v1
摘要
本文将两条研究线索结合起来：一方面是线性逻辑（LL）对复杂度类的隐式特征化，另一方面是Blum-Shub-Smale（BSS）模型中对任意环的计算。给定固定的环结构K，我们定义了一种扩展Terui的光学亦算的LAL（Light Affine Logic）类型系统，具备K的基本类型。我们展示了该计算系统捕获了多项式时间函数类FP(K)：每个类型化术语都可以在多项式时间内求值，反之亦然，任何针对K的多项式时间BSS机器都可以在该计算系统中被模拟。
引用
@article{arxiv.cs/0608040,
title = {An Embedding of the BSS Model of Computation in Light Affine Lambda-Calculus},
author = {Patrick Baillot and Marco Pedicini},
journal= {arXiv preprint arXiv:cs/0608040},
year = {2007}
}
备注
11 pages. A preliminary version appeared as Research Report IAC CNR Roma, N.57 (11/2004), november 2004