论文标题
电路：抽象观点
Circuits: An abstract viewpoint
论文作者
论文摘要
我们的主要目的是隔离电路的抽象，数学特性（包括经典的布尔电路和量子电路）对于它们的计算解释至关重要。次要目的是阐明经典情况和量子情况之间的相似性和差异。本注释中的一般理念是包括电路的数学基本方面，但要省略通常包括的任何其他结构，以方便起见。但是，我们将保留这样的假设，即电路是有限的。这个假设对我们方法的适用性无关，对于我们的某些工作来说是必要的。
Our primary purpose is to isolate the abstract, mathematical properties of circuits -- both classical Boolean circuits and quantum circuits -- that are essential for their computational interpretation. A secondary purpose is to clarify the similarities and differences between the classical and quantum situations. The general philosophy in this note is to include the mathematically essential aspects of circuits but to omit any of the additional structures that are usually included for convenience. We shall, however, retain the assumption that circuits are finite; this assumption does no harm to the applicability of our approach and is necessary for some of our work.
