Was ist kontextfrei?

Gefragt von: Frau Prof. Dr. Iris Böhme  |  Letzte Aktualisierung: 16. April 2022
sternezahl: 4.3/5 (5 sternebewertungen)

In der Theoretischen Informatik ist eine kontextfreie Sprache eine formale Sprache, die durch eine kontextfreie Grammatik beschrieben werden kann. Eine kontextfreie Grammatik erlaubt einen definierten Leseprozess von Ausdrücken einer formalen Sprache.

Welche Sprachen sind kontextfrei?

Kontextfreie Sprachen werden auch als Typ-2-Sprachen der Chomsky-Hierarchie bezeichnet. Die Klasse aller kontextfreien Sprachen beinhaltet die regulären Sprachen (Typ-3-Sprachen) und wird von der Klasse der kontextsensitiven Sprachen (Typ-1-Sprachen) umfasst.

Wann ist Grammatik kontextfrei?

Eine kontextfreie Grammatik ist in der Greibach-Normalform (GNF), wenn sie nicht das leere Wort erzeugt und die rechten Seiten der Produktionen mit maximal einem Terminal-Symbol beginnen und sonst nur Nichtterminal-Symbole enthalten.

Ist eine reguläre Sprache immer kontextfrei?

Theorem: Die Menge der regulären Sprachen ist echt enthalten in der Menge der kontextfreien Sprachen. Anders: Jeder reguläre Sprache ist auch kontextfrei, aber nicht jede kontextfreie Sprache ist regulär. Betrachte die reguläre Sprache L, die von einem DEA M = {K,Σ, δ, s, F} akzeptiert wird.

Wann ist eine Sprache kontextsensitiv?

Definition. Eine formale Sprache ist genau dann kontextsensitiv, wenn eine kontextsensitive Grammatik existiert, die diese Sprache erzeugt. Eine kontextsensitive Grammatik ist eine, die in jeder Regel immer ein Nichtterminal in einem Kontext in eine nichtleere Folge von Zeichen (Nichtterminale oder Terminale) ersetzt.

Reguläre und kontextfreie Sprachen

28 verwandte Fragen gefunden

Was ist kontextsensitiv?

Kontextsensitivität (und das Adjektiv kontextsensitiv) steht für: allgemein auf einen gewissen Zusammenhang, den Kontext bezogen. Kontextsensitivität (Informatik), Software berücksichtigt bei ihrem Verhalten ihren Kontext. (Computer-)Linguistik: Kontextsensitive Grammatik und Kontextsensitive Sprache.

Wann ist eine Sprache regulär?

Eine Sprache ist regulär, wenn: die Sprache von einer regulären Grammatik erzeugt wird; endliche Automaten sie akzeptieren; und die Sprache durch einen regulären Ausdruck dargestellt werden kann.

Ist Sprache kontextfrei?

Eine Sprache L heißt kontextfrei, wenn es eine kontextfreie Grammatik G gibt, die L erzeugt, d.h. wenn L(G) = L. Beachte: Nur Variablen X dürfen ersetzt werden: der Kontext von X spielt keine Rolle. Kontextfreie Grammatiken sind mächtig, weil rekursive Definitionen ausgedrückt werden können.

Sind endliche Sprachen regulär?

Endliche Sprachen sind regulär

regulär ist. Man kann also sagen: Jede Sprache, die endlich viele Wörter enthält, ist regulär.

Wann ist eine Sprache nicht regulär?

Wenn also eine Sprache L={aib2i|i∈N} L = { a i b 2 i | i ∈ N } beschrieben wird, müsste gezählt werden, wie oft a vorkommt. a kann aber beliebig oft vorkommen. Das ist ein Indiz dafür, dass es sich nicht um eine reguläre Sprache handelt.

Wann ist eine Grammatik eindeutig?

Eine Grammatik heißt eindeutig, wenn es für jedes Wort w ∈ L(G) genau eine Linksableitung gibt. Nicht eindeutige Grammatiken nennt man auch mehrdeutig. Eine Sprache L heißt eindeutig, wenn es für L eine eindeutige Grammatik gibt. Ansonsten heißt L mehrdeutig.

Was ist eine Rechtslineare Grammatik?

Eine Grammatik (N, T, S, P) heiÿt rechtslinear, wenn alle Regeln/Produktionen die folgende Form haben: A → a oder A → aB wobei a ∈ T ∪ {ε} und A, B ∈ N. Eine durch eine rechtslineare Grammatik erzeugte Sprache heiÿt rechtslinear.

Wann ist eine kontextfreie Grammatik G eindeutig?

Eine kontextfreie Grammatik G ist dann eindeutig, wenn für jedes Wort aus L(G) genau eine mögliche Ableitung aus dem Startsymbol existiert. vom Lexer bekommt, so muss der Parser diesen Tokenstrom auf das Startsymbol der Grammatik zurückführen.

Welche Sprache wird durch Grammatik erzeugt?

Die kontextfreie Sprache ist eine formale Sprache in der theoretischen Informatik. Sie wird von der kontextfreien Grammatik erzeugt und wird entsprechend auch durch sie nachgewiesen.

Sind alle kontextfreien Sprachen Entscheidbar?

Eine kontextfreie Sprache ist ja gerade eine entscheidbare Menge. Der Satz sagt, dass du auch die Schnittmenge (wie oben) und die Vereinigung (fast wie oben, denk mal drüber nach) dieser Sprachen entscheiden kannst.

Was ist eine Grammatik Informatik?

Genau wie Automaten sind Grammatiken eine Möglichkeit, formale Sprachen zu beschreiben. Einfach gesagt bestehen Grammatiken aus Ersetzungsregeln, mit denen man Schritt für Schritt ein Element der gewünschten Sprache aufbauen kann.

Ist Sprache unendlich?

Dies kann niemand wissen, es kann beliebig weitergehen. Um eine unendliche Sprache genau anzugeben, ist irgendeine Art von endlicher Beschreibung dieser Sprache erforderlich. Dies kann eine informelle Beschreibung sein, wie etwa: "Die Sprache L′ besteht aus allen Wörtern über A, die mit a anfangen und mit a aufhören."

Welche Sprache akzeptiert DFA?

Was ist die Sprache eines DFA A? A akzeptiert w ∈ Σ∗ genau dann, wenn δ(q0, w) ∈ F. L(A) = {w ∈ Σ∗ | A akzeptiert w } ist die von A akzeptierte (oder erkannte) Sprache. Eine Sprache L ⊆ Σ∗ heißt regulär, wenn es einen DFA A mit L = L(A) gibt.

Ist das leere Wort regulär?

Die leere Menge ∅ ist regulär. Die Menge {?} ist regulär.

Wann ist eine Sprache erkennbar?

Weitere Eigenschaften erkennbarer Sprachen, die sich natürlich auch direkt aus der Definition ableiten lassen, ergeben sich aus dem folgenden Satz. Satz: Eine formale Sprache L über einem Alphabet X ist genau dann erkennbar, wenn es einen deterministischen endlichen Automaten A=(Q,X,.,q 0,Qf) mit L = L(A) gibt.

Ist Epsilon eine reguläre Sprache?

Die Menge {ϵ} ist regulär. Die Mengen {ai} (1 ≤ i ≤ n) sind regulär. Wenn L1 und L2 regulär sind, dann auch (L1 ∪ L2).

Was ist kontexthilfe?

Kontextsensitive Hilfe ist im Rahmen der Kontextsensitivität eine Online-Hilfe, die zum angezeigten Nutzungskontext passt, in der Regel auf Dialog- oder Elementebene.

Wie funktioniert ein Kellerautomat?

Ein (Keller-)Automat liest eine aus einzelnen Zeichen bestehende Eingabe und akzeptiert (oder erkennt) diese – oder auch nicht. Die Menge der akzeptierten Eingaben bildet die durch den Automaten definierte Sprache. Der nichtdeterministische Kellerautomat erkennt genau die kontextfreien Sprachen (Typ 2, vgl.

Was ist normative Sprache?

Die normative Grammatik (auch: präskriptive Grammatik) (von lateinisch norma, „Winkelmaß“, „Regel“) ist ein grammatikalisches Beschreibungssystem, das in didaktischer Absicht einen Sprachgebrauch angestrebt, der bestimmten Vorgaben genügen soll.

Wann ist ein Automat endlich?

Ein endlicher Automat (EA, auch Zustandsmaschine, Zustandsautomat; englisch finite state machine, FSM) ist ein Modell eines Verhaltens, bestehend aus Zuständen, Zustandsübergängen und Aktionen. Ein Automat heißt endlich, wenn die Menge der Zustände, die er annehmen kann (später S genannt), endlich ist.