Разрешимый вопрос в контексте обычных языков относится к вопросу, на который можно ответить с помощью алгоритма с гарантированно правильным результатом. Другими словами, это вопрос, для которого существует вычислительная процедура, позволяющая определить ответ за конечное время. Чтобы понять концепцию