(programming language) – språk som används för att skriva datorprogram. Programspråk uppfanns därför att det är svårt att skriva program direkt på det sätt som datorer förstår, nämligen i maskinkod. Maskinkod är bara sekvenser av ettor och nollor. I programspråk används däremot ord och symboler från naturliga språk och från matematik och logik samt grafiska symboler (ikoner). Programkoden blir då lättare för människor att förstå och överblicka. Men för att ett program som är skrivet i ett programspråk ska kunna köras i en dator måste det översättas till maskinkod. Det kan ske på två sätt: antingen görs det:
- – innan programmet körs eller:
- – medan programmet körs.
– Programspråk som omvandlas till maskinkod innan de körs kallas för kompilerade språk. Programspråk som översätts till maskinkod medan de körs kallas för interpreterade språk eller tolkade språk. – Språkligt: Formen programmeringsspråk förekommer. Det är ett längre ord för samma sak. – Huruvida programspråk verkligen är språk på samma sätt som de språk som människor talar med varandra är en omstridd fråga utan praktisk betydelse. De har i varje fall en del egenskaper som naturliga språk har, till exempel syntax.