Kontextfreie, formal an der Mathematik orientierte Sprache. Mittels einer Programmiersprache werden der Hardware eines Computers Befehle zur Verarbeitung von Daten gegeben. Bekannte Programmiersprachen sind Basic, Pascal und C.