engl.: formal language
Eine formale Sprache über einem Alphabet A ist eine Menge von Zeichenreihen mit Zeichen aus A, also eine Teilmenge von A*.