また、任意のチューリングマシンを模倣(エミュレート)できる「万能チューリングマシン」は、同分野の基本的な定理のひとつである停止性問題の決定不能性定理と関係する。