Formale Sprachen

Jede Sprache besteht aus Wörtern, die nach gewissen Regeln zu einem Satz zusammengesetzt werden. Dabei besteht jedes Wort aus einem Zeichenvorrat der Sprache (Alphabet). Im allgemeinen Sprachgebrauch kommt
man mit diesen Begriffen gut zurecht.

In der theoretischen Informatik versucht man, den Sprachbegriff durch Abstraktion zu verallgemeiner. Auch hier besteht eine Sprache aus bestimmten erlaubten Symbolen, die Terminalsymbole genannt werden.
Alle Terminalsymbole bilden das Alphabet der Sprache.

Ein Wort einer Sprache stellt eine beliebige Kombinationen von Terminalsymbolen dar. In diesem Sinne stellt auch ein vollständiger Satz ein Wort dar. Nicht alle Worte machen dabei Sinn. Mit Hilfe von Regeln werden
nur bestimmte Wörter als gültig eingestuft. Diese Regeln bilden die Grammatik einer Sprache.