Als «formal-languages» getaggte Fragen

Fragen zu formalen Sprachen, Grammatiken und Automatentheorie

1
Eine (ir) reguläre Sprache beweisen (Standardmethoden sind fehlgeschlagen)
Ich versuche gerade, eine reguläre Sprache zu beweisen (zur persönlichen Unterhaltung). Die Sprache ist: Die Sprache, die alle ternären Zahlen enthält, die bei binärer Codierung sogar Bitparität aufweisen. Derzeit habe ich einige verschiedene Ansätze ausprobiert, die mich zu keinem Erfolg geführt haben. Ich habe versucht, das Pump-Lemma (konnte nichts zum …
4
Warum ist die Anzahl der Sätze nicht endlich?
Ich lerne zurzeit formale Sprachen. In meinem Vortrag heißt es, dass die Wörter einer Sprache zwar endlich sind, die mit der zugrunde liegenden Grammatik aufgebauten Sätze jedoch nicht. Aber ich verstehe nicht, warum dies allgemein wahr sein sollte. Ich kann mir eine Grammatik vorstellen, die mir eine endliche Anzahl von …
3
Die Regelmäßigkeit einer bestimmten Sprache beweisen
Ich habe die letzte Stunde mit diesem Problem herumgefummelt und bin unglaublich ratlos. Sei A={0ku0k∣k≥1 and u∈Σ∗}A={0ku0k∣k≥1 and u∈Σ∗}A = \{\; 0^ku0^k \mid k ≥ 1 \text{ and }u ∈ Σ^*\;\} . Zeigen Sie, dass AEINA regelmäßig ist. Die Sprache erfüllt offensichtlich das Pumping Lemma, aber das ist für die …
1
Gibt es ein Beispiel für eine rekursive Sprache, die nicht kontextsensitiv ist?
Ich habe nach einer prototypischen Sprache für rekursive Sprachen (entscheidbar) gesucht, die ohne Erfolg nicht kontextsensitiv ist. Zum Beispiel ist ein Prototyp für reguläre Sprachen, für kontextfreie Sprachen und für kontextsensitive Sprachen. Normalerweise betrachte ich die Sprache, die von einer universellen Turing-Maschine (UTM) akzeptiert wird, als prototypisch oder rekursiv aufzählbar. …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.