When it is applied to a problem from its class: It always finishes (terminates) after a finite number of steps.
Όταν εφαρμόζεται σε ένα πρόβλημα από την κλάση: Πάντα τελειώνει (τερματίζει) μετά από ένα πεπερασμένο αριθμό βημάτων.