机构名称：
¥ 1.0
摘要 - 量子电路或ZX-微积分（例如，已成功地）代表作用于有限数量的量子数的量子计算。同时，在经典环境（笛卡尔数据类型）中，已将延迟轨迹用作表示流中有限记忆计算的图形方法。我们合并了这两种方法，并描述了一种通用结构，该结构将任何图形语言扩展到了有限记忆计算的图形语言。为了处理诸如ZX-Calculus之类的案例，该案例是针对后选择后的量子力学完成的，我们将延迟的痕量形式主义扩展到了因果案例之外，从而确定了流媒体变形金刚的因果关系的概念。我们设计了基于状态形态序列的流语义，并在某些假设下显示了普遍性和完整性结果。最后，我们研究了框架的链接与以前有关笛卡尔数据类型，信号流图和带有记忆的量子通道的链接。
带有延迟跟踪的图形语言
主要关键词
相关文件推荐
