''Formale Sprachen'' dienen vorzüglich zur Untersuchung und Darstellung syntaktischer Eigenschaften von Sprachen, dabei wird dann oft von jeglicher Semantik abstrahiert.
''[[Informatik]], [[Linguistik]], [[Mathematik]]'': eine (endliche oder unendliche) Menge von Zeichenfolgen über einem endlichen Alphabet von Zeichen