Category:チューリングマシン

Probabilistic Turing machine

Zeno machine

Alternating Turing machine

Nondeterministic Turing machine

Busy beaver

Oracle machine

Langton's ant

Turing completeness

Turing machine