(1) Μια δήλωση σε μια γλώσσα προγραμματισμού, καθορίζοντας μια λειτουργία που θα εκτελεστεί από έναν υπολογιστή και τις διευθύνσεις ή τις τιμές των συνδεδεμένων τελεστέων, Μετακίνηση A, για παράδειγμα, για να B.~(2) χαλαρά, κάθε εκτελέσιμο δήλωση σε ένα πρόγραμμα υπολογιστή.