Simple circuit simulations of classical and quantum Turing machines
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.
- Publication:
-
Proceedings of the Royal Society of London Series A
- Pub Date:
- September 2022
- DOI:
- 10.1098/rspa.2021.0891
- arXiv:
- arXiv:2111.10830
- Bibcode:
- 2022RSPSA.47810891G
- Keywords:
-
- Quantum Physics;
- Computer Science - Computational Complexity;
- Computer Science - Logic in Computer Science;
- Mathematical Physics
- E-Print:
- doi:10.1098/rspa.2021.0891