Mainly borrows notes from Introduction to Theory of Computation by Sipser. Turing Machines https://samwho.dev/turing-machines/ References Computational Complexity