2000 character limit reached
Simple circuit simulations of classical and quantum Turing machines (2111.10830v1)
Published 21 Nov 2021 in quant-ph, cs.CC, cs.LO, math-ph, and math.MP
Abstract: 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.