A method for solving a decision problem, given in the form of an algorithm, is called a decision procedure for that problem.
Μια μέθοδος για την επίλυση τέτοιου προβλήματος, δοσμένης με τη μορφή αλγορίθμου, αποκαλείται διαδικασία απόφασης.