Wpc/decidable problem

Definition:

A decision problem such that there exists an algorithm to solve it.

Generalizations:

• computational problem

Specializations:

time complexity

• nondeterministically computationally tractable decision problem
• computationally tractable decision problem

Involved in:

• decidable language.

---

Relevant Wikipedia Articles:

the concept- [decidable problem]?

related field(s)- theory of computation

potential real-world examples-

---

/Discussion?