Προτείνω, λοιπόν, πρώτα από όλα η λέξη κριτήρια να αντικατασταθεί με τη λέξη χαρακτηριστικά.
Κριτήρια που πρέπει να ικανοποιεί ένας αλγόριθμος
να γίνει
Χαρακτηριστικά που πρέπει να έχει ένας αλγόριθμος.
Για την είσοδο.
Έχουμε κοιτάξει ορισμό του Knuth που λέει
An algorithm has zero or more inputs, i.e., quantities which are given to it initially before the algorithm begins. Προσπάθησα να εντοπίσω ένα ΔΙΚΟ του παράδειγμα με zero input αλλά δεν βρήκα... Μήπως να του τηλεφωνήσουμε;;
Πάντως στο άρθρο The Interactive Nature of Computing: Refuting the Strong Church–Turing Thesis των Dina Goldin and Peter Wegner (2008) λέει
In his definition of algorithms, Knuth was consistent with the mathematical function based foundations of the theory of computation. He explicitly specified that algorithms are closed; no new input is accepted once the computation has begun: ‘‘An algorithm has zero or more inputs, i.e., quantities which are given to it initially before the algorithm begins.’’ Knuth distinguished algorithms from arbitrary computation that may involve I/O.
το οποίο νομίζω ότι μας απαντάει και σε άλλο ανοικτό θέμα...
Με τον ορισμό του Στάθη συμφωνούμε;
Είσοδος : Είναι οι τιμές που δίνονται στον αλγόριθμος από το εξωτερικό του περιβάλλον. Δεν αποτελεί κριτήριο αλλά "χαρακτηριστικό". Ένας αλγόριθμος μπορεί να μην έχει είσοδο. Σε αυτή την περίπτωση τα αποτελέσματά του είναι τα ίδια για όλες τις φορές που θα εκτελεστεί.
ΣΔ