Así, una máquina que pueda actuar como una máquina universal de Turing puede, en principio, hacer cualquier cálculo que "cualquier" otra computadora es capaz de hacer (ver Tesis de Church-Turing).