Μια γλώσσα προγραμματισμού που σχεδιάστηκε για εκφράζοντας αλγόριθμοι, για παράδειγμα, ο ΑΛΓΚΌΛ.