Dictionary

formale Sprache de · X

Pronunciation

• audio
• [fɔʁˈmaːlə ˈʃpʁaːxə]

Meanings

1. Informatik, Linguistik, Mathematik: eine (endliche oder unendliche) Menge von Zeichenfolgen über einem endlichen Alphabet von Zeichen
   • Die möglichen Wege von einem bestimmten Ausgangspunkt durch einen Irrgarten kann man als eine formale Sprache über dem Alphabet {V,Z,L,R}, beschreiben. Dabei sollen diese vier Symbole die Richtungen beschreiben, die man von einer Kreuzung, einem Knick usw. bis zur nächsten möglichen Richtungsänderung beschreiten kann: V für vorwärts, Z für zurück, l für links, R für rechts. Ein Wort der Sprache wie etwa VLV bezeichnet also den Weg, erst vorwärts zu gehen bis zur nächsten Kreuzung, dann an dieser links und an der folgenden wieder vorwärts. Nicht jede Folge aus diesen vier Buchstaben bezeichnet einen möglichen Weg durch den Irrgarten. Wenn man etwa an eine Kreuzung kommt, an der voran eine Wand ist, kann der bisherige Weg nicht vorwärts fortgesetzt werden, das diesem entsprechende Wort, verlängert um V, gehört also zum Beispiel nicht zur durch die Gestalt des Irrgartens implizit definierten Sprache.
   • Formale Sprachen können auf verschiedenste Art und Weise definiert sein: durch Aufzählung ihrer Elemente (im endlichen Fall), über eine logische Bedingung an die enthaltenen Elemente, durch einen mengenalgebraischen Ausdruck, über ein Generierungsverfahren, über ein Erkennungsverfahren usw.
   • Jede formale Sprache über einem Alphabet Σ ist eine Teilmenge der Kleeneschen Hülle Σ^* von Σ.
   • Formale Sprachen dienen vorzüglich zur Untersuchung und Darstellung syntaktischer Eigenschaften von Sprachen, dabei wird dann oft von jeglicher Semantik abstrahiert.
   • Die Menge der Palindrome mit dem Alphabet Σ, ist die formale Sprache {wwᴿ|w∈Σ^*}∪{wawᴿ|a∈Σ,w∈Σ^*},, wobei wᴿ das Kehrwort zu w bezeichnet.
   • Man könnte, etwas scherzhaft, die formale Sprache der kindlichen Steigerungen des Wortes „lieb“ wie folgt definieren: „lieb“, „ganz lieb“, „ganz, ganz lieb“ , „ganz, ganz, ganz lieb“ usw. Förmlicher und als regulärer Ausdruck bezeichnet ist es die Menge von Syntagmen [(ganz,)^*ganz]lieb,. Darin steht der Stern für beliebig häufige Wiederholung des damit versehenen Teilausdrucks und die eckigen Klammern für einen Teil, der auch entfallen kann.

Forms

Antonyms

natürliche Sprache

Deriveds

Formalsprachler

Hypernyms

Sprache

Hyponyms

reguläre Sprache · kontextsensitive Sprache · kontextfreie Sprache

Translations (4)

vi ngôn ngữ hình thức (eine (endliche oder unendliche) Menge von Zeichenfolgen über einem endlichen Alphabet von Zeichen) · fi formaali kieli (eine (endliche oder unendliche) Menge von Zeichenfolgen über einem endlichen Alphabet von Zeichen) · sv formellt språk (eine (endliche oder unendliche) Menge von Zeichenfolgen über einem endlichen Alphabet von Zeichen) · en formal language (eine (endliche oder unendliche) Menge von Zeichenfolgen über einem endlichen Alphabet von Zeichen)