A problem is said to be decidable if it is possible to design a program to answer the problem within a finite time.