论文标题
大规模图形推理的彩色道具
Colored props for large scale graphical reasoning
论文作者
论文摘要
Prop形式主义允许用带有图表的过程表示过程，并已成功应用于量子计算，电路和控制流程图等各个领域。但是，这些图形方法在编写大图时会遇到可伸缩性问题。已经研究了使用有色道具来解决ZX-Calculus解决此问题的建议。本文将方法扩展到任何道具，使其成为操纵图形语言的一般工具。
The prop formalism allows representation of processes withstring diagrams and has been successfully applied in various areas such as quantum computing, electric circuits and control flow graphs. However, these graphical approaches suffer from scalability problems when it comes to writing large diagrams. A proposal to tackle this issue has been investigated for ZX-calculus using colored props. This paper extends the approach to any prop, making it a general tool for graphical languages manipulation.
