Eine formale Sprache ist eine Menge von Wörtern über einem Alphabet:
Beispiel: alle Binärwörter mit gerader Anzahl von Einsen.