Diferenças entre edições de "Problema da parada"

3 bytes adicionados ,  02h03min de 8 de agosto de 2012
m (r2.7.3) (Robô: A modificar: it:Problema della terminazione)
==Introdução==
 
O problema da parada é um problema de decisão sobre as propriedades de programas de computadores em um determinado modelo [[Turing-completo]] de computação, por exemplo todos os programas que podem ser escritos em uma [[linguagem de programação]] que é geral o suficiente para ser equivalente a uma máquina de Turing. O problema é determinar para uma dada entrada se o programa irá parar com ela. Nesta área de trabalho abstrata não há limitações de memória ou tempo necessário para a execução de um programa, pois poderão ser necessários tempo e espaço arbitrários para o programa parar. A questão é se o programa simplesmente poderá parar com uma certa entrada.
 
Por exemplo, em [[pseudocódigo]], o programa:
Utilizador anónimo