TMs, A-machineThe most general computing modelTuring Machine notionTuring Machine structureTuring AcceptorTuring CompletenessDeterministic Turing MachineNon-Deterministic Turing MachineBusy BeaverChurch-Turing Thesis Turing Machine usagesTuring Machine technique Turing: A Turing Machine languageK. Darcy Otto <[email protected]>https://docs.racket-lang.org/turing/index.html