Μια γλώσσα, του οποίου οι κανόνες θεσπίζονται ρητά πριν από τη χρήση. Παραδείγματα προγραμματισμού γλώσσες και μαθηματική γλώσσες.