Tüm girişleri adımlar sonlu sayıda duraklatan bir algoritma tarafından çözülebilir bir karar sorun. İlişkili dil decidable dil denir.