We construct reversible Boolean circuits efficiently simulating reversible Turing machines. Both the circuits and the simulation proof are rather simple. Then we give a fairly straightforward generalization of the circuits and the simulation proof to the quantum case.
翻译:我们建造可逆布尔电路,能有效地模拟可逆图灵机。电路和模拟证据都相当简单。然后我们给量子体的电路简单化和模拟证据。