Et avgjørbart spørsmål, i sammenheng med vanlige språk, refererer til et spørsmål som kan besvares av en algoritme med garantert korrekt utdata. Med andre ord er det et spørsmål som det finnes en beregningsprosedyre for som kan bestemme svaret på en begrenset tid. For å forstå begrepet