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