用 String Diagrams 重构计算模型

Monoidal computer I: Basic computability by string diagrams (2012)

这篇论文提出了一种基于 Monoidal Categories 的全新计算模型，它完全符合 Church-Turing Thesis，能捕捉与传统模型相同的可计算函数。其核心亮点在于利用 String Diagrams 这一图形化形式系统，为抽象的计算推理提供了直观且具体的接口，从而屏蔽了底层实现的繁杂细节。作者旨在通过这种方法，为单向函数和 Trapdoor Functions 等计算资源理论构建一门高级编程语言。本文是该宏大目标的第一步，描绘了通往这一愿景的清晰路径，并计划在三篇后续论文中深入展开。