量子电路的解释器
An Interpreter for Quantum Circuits
摘要：
本文介绍了一个ACL 2解释器的“网表”描述量子电路。实现了几个量子门，包括阿达玛门H，它将矢量旋转45度，至少在逻辑层面上需要使用无理数。量子测量提出了一个特别困难的挑战，因为它需要精确比较无理数和使用随机数。本文不解决计算无理数或产生的随机数，虽然未来的工作包括ACL 2的伪随机发生器的发展。
英文摘要：
This paper describes an ACL2 interpreter for "netlists" describing quantum circuits. Several quantum gates are implemented, including the Hadamard gate H, which rotates vectors by 45 degrees, necessitating the use of irrational numbers, at least at the logical level. Quantum measurement presents an especially difficult challenge, because it requires precise comparisons of irrational numbers and the use of random numbers. This paper does not address computation with irrational numbers or the generation of random numbers, although future work includes the development of pseudo-random generators for ACL2.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
