Work Cited:
“L10: Equivalence of Non-Deterministic and Deterministic TMs.” RU-vid, uploaded by UC Davis, 12 December 2012, ru-vid.com/video/%D0%B2%D0%B8%D0%B4%D0%B5%D0%BE-FianmH3Gsdo.html
^ This video shows how to construct the Turing Machine behind the third tape's algorithm
“Nondeterministic Turing Machines (Part 1).” RU-vid, uploaded by Neso Academy, 21 January 2018, ru-vid.com/video/%D0%B2%D0%B8%D0%B4%D0%B5%D0%BE-gQnPM6sydkk.html
Sipser, Michael. Introduction to the Theory of Computation. 3rd ed., Cengage Learning, 2013.
Proof of Single and Multi-Tape Turing Machine equivalence: ru-vid.com/video/%D0%B2%D0%B8%D0%B4%D0%B5%D0%BE-otW5KDW1IJA.html
4 дек 2020