Decidibilità
Verificato
Aggiornato il 14/08/2026
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
Domande frequenti su Decidibilità
Cosa significa «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.
A quale glossario appartiene «Decidibilità»?
«Decidibilità» fa parte del glossario Fondamenti di informatica, nella categoria Informatica di Glossario Italiano.