Enderton gives the following characteristics of a procedure for computing a computable function; similar characterizations have been given by Turing , Rogers , and others.
Ο Enderton δίνει τα ακόλουθα χαρακτηριστικά της διαδικασίας για τον υπολογισμό μίας υπολογίσιμης συνάρτησης, παρόμοιοι χαρακτηρισμοί έχουν δοθεί από τους Turing , Rogers , και άλλους.