Menge von Wörtern über einem endlichen Alphabet.

Im weiteren Sinne vereint eine Sprache L syntaktische Aspekte (welche Wörter gehören zur Sprache, und wie sind sie strukturiert?) und semantische Aspekte (welche Bedeutung haben die Wörter der Sprache?). Bei formalen Sprachen werden syntaktische Aspekte i. allg. durch eine Grammatik und semantische Aspekte durch eine Abbildung von L in einen semantischen Bereich (eine Menge) definiert.

In der Informatik werden Sprachen zur Übertragung von Information zwischen Personen und/oder Maschinen sowie zur Beschreibung des Verhaltens von Systemen eingesetzt. Im zweiten Fall beschreibt die Sprache die Menge der möglichen Ereignisabfolgen des Systems.

Siehe auch elementare Sprache.