Un limbaj artificial care specifică instrucţiuni care urmează să fie executate pe un calculator. Termenul acoperă un spectru larg, de la binar-codificate limbaj maşină la nivel înalt de limbi.