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