Similar to チューリングマシンの停止問題

Turing machine

Probabilistic Turing machine

Alternating Turing machine

Oracle machine

Zeno machine

Turing completeness

Nondeterministic Turing machine

Busy beaver

Langton's ant