Texonom
Texonom
/
Computing
Computing
/Computing Theory/Automaton/
Turing Machine
Search
Turing Machine

Turing Machine

Creator
Creator
Seong-lae Cho
Created
Created
2019 Nov 5 5:18
Editor
Editor
Seong-lae Cho
Edited
Edited
2024 Jan 10 13:42
Refs
Refs
Halting Problem

TMs, A-machine

The most general computing model

Turing Machine notion
Turing Machine structure
Turing Acceptor
Turing Completeness
Deterministic Turing Machine
Non-Deterministic Turing Machine
Busy Beaver
Church-Turing Thesis
 
 
Turing Machine usages
Turing Machine technique
 
 
 
 
Turing: A Turing Machine language
K. Darcy Otto <darcyotto@gmail.com>
Turing: A Turing Machine language
https://docs.racket-lang.org/turing/index.html
 
 

Recommendations

Texonom
Texonom
/
Computing
Computing
/Computing Theory/Automaton/
Turing Machine
Copyright Seonglae Cho