Μια συσκευή, πρόγραμμα υπολογιστή ή σύστημα που συμπεριφέρεται ή να λειτουργεί σαν ένα δεδομένο σύστημα όταν προβλέπεται ένα σύνολο εισόδων ελεγχόμενη.