Problema della fermata
Verificato
Significato di «Problema della fermata»
Problema indecidibile che dimostra l'impossibilita di un algoritmo generale capace di stabilire, per ogni programma e input, se l'esecuzione terminera o proseguira all'infinito.
Fonti: Indecidibilita in teoria della calcolabilita. A. M. Turing, On Computable Numbers (1936); Sipser, Introduction to the Theory of Computation. Verifica web 2026-08-03. · Verificato il 2026-08-03