A method is formally called effective for a class of problems when it satisfies these criteria: It consists of a finite number of exact, finite instructions.
Μια μέθοδος επίσημα ονομάζεται αποτελεσματική για μία κλάση προβλημάτων όταν πληροί τα εξής κριτήρια: Αποτελείται από ένα πεπερασμένο αριθμό με ακριβείς, πεπερασμένες οδηγίες.