Μια τεχνητή γλώσσα που καθορίζει τις οδηγίες για να εκτελεστεί σε έναν υπολογιστή. Ο όρος καλύπτει ένα ευρύ φάσμα, από τα δυαδικά κωδικοποιημένα γλώσσα μηχανής σε υψηλού επιπέδου γλώσσες.