Sprache zur Formulierung von Rechenvorschriften (Datenstrukturen), die von einem Computer ausgeführt werden können.