We define syntax and semantics of quantum circuits, allowing measurement gates and classical channels. We define circuit-based quantum algorithms and prove that, semantically, any such algorithm is equivalent to a single measurement that depends only on the underlying quantum circuit. Finally, we use our formalization of quantum circuits to state precisely and prove the principle of deferred measurements.

翻译：我们定义了量子电路的语法和语义,允许测量门和古典频道。我们定义了基于电路的量子算法,并证明从语义上说,任何这种算法都相当于一个仅取决于基本量子电路的单一测量法。最后,我们用量子电路的正规化来准确描述和证明延迟测量原则。