A decision procedure for a decision problem is an algorithm which terminates for every allowed input and returns the correct yes-or-no answer. A problem is decidable when it has a decision procedure and undecidable otherwise.
Decision Procedure
See also
Algorithm, Decidable, Decision Problem, UndecidableExplore with Wolfram|Alpha
References
Enderton, H. B. A Mathematical Introduction to Logic, 2nd ed. San Diego, CA: Academic Press, 2001.Cite this as:
Weisstein, Eric W. "Decision Procedure." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/DecisionProcedure.html