测量演算

测量演算（measurement calculus），计算机科学技术名词，文森特·达诺斯（Vincent Danos）等提出的一种改进的基于测量的量子计算。他们设计了一个语言，其程序称为图式；还给出了在图式上进行推理的演算，以及图式的操作语义和指称语义。他们还给出了一种重写理论，可以把任何图式转化为语义上等价的某种标准型，从而可以把量子测量和调整推迟到最后进行。