formale Sprache

formale Sprache (Deutsch)

Substantiv, f, Wortverbindung, adjektivische Deklination

starke Deklination ohne Artikel
	Singular	Plural
Nominativ	formale Sprache	formale Sprachen
Genitiv	formaler Sprache	formaler Sprachen
Dativ	formaler Sprache	formalen Sprachen
Akkusativ	formale Sprache	formale Sprachen
schwache Deklination mit bestimmtem Artikel
	Singular	Plural
Nominativ	die formale Sprache	die formalen Sprachen
Genitiv	der formalen Sprache	der formalen Sprachen
Dativ	der formalen Sprache	den formalen Sprachen
Akkusativ	die formale Sprache	die formalen Sprachen
gemischte Deklination (mit Possessivpronomen, »kein«, …)
	Singular	Plural
Nominativ	eine formale Sprache	keine formalen Sprachen
Genitiv	einer formalen Sprache	keiner formalen Sprachen
Dativ	einer formalen Sprache	keinen formalen Sprachen
Akkusativ	eine formale Sprache	keine formalen Sprachen

Worttrennung:

for·ma·le Spra·che, Plural: for·ma·le Spra·chen

Aussprache:

IPA: [fɔʁˈmaːlə ˈʃpʁaːxə]

Hörbeispiele:  formale Sprache ^(Info)

Bedeutungen:

[1] Informatik, Linguistik, Mathematik: eine (endliche oder unendliche) Menge von Zeichenfolgen über einem endlichen Alphabet von Zeichen

Abkürzungen:

FS

Gegenwörter:

[1] natürliche Sprache

Oberbegriffe:

[1] Sprache

Unterbegriffe:

[1] kontextfreie Sprache, kontextsensitive Sprache, reguläre Sprache

Beispiele:

[1] Jede formale Sprache über einem Alphabet Σ ist eine Teilmenge der Kleeneschen Hülle Σ^* von Σ.

[1] 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.

[1] Formale Sprachen dienen vorzüglich zur Untersuchung und Darstellung syntaktischer Eigenschaften von Sprachen, dabei wird dann oft von jeglicher Semantik abstrahiert.

[1] 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 $\lbrack (ganz,\ )^{*}\ ganz\ \rbrack \ 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.

[1] Die Menge der Palindrome mit dem Alphabet $\Sigma \,$ ist die formale Sprache $\lbrace ww^{R}|w\in \Sigma ^{*}\rbrace \cup \lbrace waw^{R}|a\in \Sigma ,w\in \Sigma ^{*}\rbrace \,$, wobei $w^{R}$ das Kehrwort zu $w$ bezeichnet.

[1] Die möglichen Wege von einem bestimmten Ausgangspunkt durch einen Irrgarten kann man als eine formale Sprache über dem Alphabet $\lbrace V,Z,L,R\rbrace \,$ 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.

Charakteristische Wortkombinationen:

[1] eine formale Sprache über einem Alphabet

Wortbildungen:

[1] Formalsprachler

Übersetzungen

 [1] ?

Englisch: formal language → en Finnisch: formaali kieli → fi Französisch: Schwedisch: formellt språk → sv n Vietnamesisch: ngôn ngữ hình thức → vi

Referenzen und weiterführende Informationen:

[1] Wikipedia-Artikel „Formale Sprache“