Definizioni di decidibile

aggettivo (matematica) 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.