"There must be exact instructions (i.e. a program), finite in length, for the procedure."
"Πρέπει να υπάρχουν ακριβείς οδηγίες (δηλαδή το πρόγραμμα), πεπερασμένου μήκους, για τη διαδικασία."