Se puede traducir la pregunta sobre si una máquina de Turing termina como una fórmula de primer orden, que entonces podría ser sometida al algoritmo de decisión.