Et programmeringsspråk er et spesialtilfelle av formelle språk som kan brukes til å kontrollere oppførselen til en maskin, vanligvis en datamaskin, og få den til å utføre spesifikke oppgaver. Programmeringsspråk defineres med syntaktiske og semantiske regler, for å definere henholdsvis strukturen og betydninga til språket.