一个控制所有设备的设备

该研究团队提出了一种计算控制理论,包含七个具有自然解释性的方程。将这些方程添加到基础电路道具中可构建受控电路,这在可逆布尔电路和量子电路的实例中得到了验证。该工作证明,这种句法构造在语义上对应于对基础道具取自由rig范畴。
提交arXiv: 2025-10-06 17:09
访客五签:

量科快讯