Decidibilità
Verificato
Significato di «Decidibilità»
Proprietà di un problema per cui esiste un algoritmo che, in un numero finito di passi, risponde sempre con certezza sì o no per ogni istanza; il problema della fermata è un classico esempio di problema indecidibile.
Fonti: Esistenza di una procedura che termina sempre con risposta certa; halting problem indecidibile. Fonti: Treccani (decidibilita); Sipser, Introduction to the Theory of Computation. Verifica web 2026-08-03. · Verificato il 2026-08-03