engl.: formal language

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

• Teilweise betrachtet man auch formale Sprachen mit unendlichen Zeichenfolgen.
• Die Spezifikation einer formalen Sprache S sollte es ermöglichen zu prüfen, ob eine Zeichenreihe w Element von S ist.
• Elemente formaler Sprachen haben zunächst einmal keine Bedeutung.