"If the procedure is given a k-tuple x in the domain of f, then after a finite number of discrete steps the procedure must terminate and produce f(x)."
"Αν στην διαδικασία δίνεται μια k-πλειάδα x στο πεδίο ορισμό της f και, στη συνέχεια, μετά από ένα πεπερασμένο αριθμό διακριτών βημάτων η διαδικασία πρέπει να τερματίσει και να παράγει f(x)."