Jede ''formale Sprache'' über einem Alphabet &Sigma; ist eine Teilmenge der Kleeneschen Hülle &Sigma;<sup>*</sup> von &Sigma;.
''[[Informatik]], [[Linguistik]], [[Mathematik]]'': eine (endliche oder unendliche) Menge von Zeichenfolgen über einem endlichen Alphabet von Zeichen