Une langue artificielle qui spécifie les instructions à exécuter sur un ordinateur. Le terme couvre un large spectre, de langage codé binaire à langages de haut niveau.