Significato di Decidibile

agg. (mat.) si dice di ogni insieme di enti per cui esista un algoritmo tale che, comunque preso un elemento dell'universo del discorso in cui è definito l'insieme, determini se quell'elemento appartiene o no all'insieme dato.