Als «formal-languages» getaggte Fragen

Fragen zu formalen Sprachen, Grammatiken und Automatentheorie

3
Was würden Sie erhalten, wenn Sie kontextfreie Grammatiken mit Parametern versehen?
Ich dachte an Grammatiken für indendationssensitive Sprachen und es sieht so aus, als würden CF-Grammatiken in Kombination mit Parametern den Trick machen. Betrachten Sie als Beispiel dieses Fragment für eine vereinfachte Python-Grammatik im ANTLR-ähnlichen Format: // on top-level the statements have empty indent program : statement('')+ ; // let's consider …
2
Wie kam es, dass das Wort „Produktion“ im Kontext der Informatik ein Synonym für das Wort „Regel“ war?
Ich studiere formale Sprachen und Produktionsbasissysteme (Regelbasissysteme) und bin ein wenig verwirrt darüber, warum diese beiden Wörter "Produktion" und "Regel" in so vielen Zusammenhängen in der Informatik dasselbe bedeuten. In der englischen Sprache scheinen sie nicht dasselbe zu bedeuten. Ich bin kein englischer Muttersprachler, aber ich weiß, dass sich eine …
3
Unentscheidbares Problem und seine Verneinung ist unentscheidbar
Viele "berühmte" unentscheidbare Probleme sind dennoch zumindest halbentscheidbar, und ihre Ergänzung ist unentscheidbar. Ein Beispiel kann vor allem das Stopp-Problem und seine Ergänzung sein. Kann mir jemand ein Beispiel geben, in dem sowohl ein Problem als auch seine Ergänzung unentscheidbar und nicht halbentscheidbar sind? Ich habe über die Diagonalisierungssprache Ld …
1
Rechenaufwand vs. Chomsky-Hierarchie
Ich frage mich über die Beziehung zwischen der Komplexität der Berechnungen und der Chomsky-Hierarchie im Allgemeinen. Insbesondere, wenn ich weiß, dass ein Problem NP-vollständig ist, folgt daraus, dass die Sprache dieses Problems nicht kontextfrei ist? Zum Beispiel ist das Cliquenproblem NP-vollständig. Folgt daraus, dass die Sprache, die Modellen mit Cliquen …
2
Ist das Komplement von {ww | ...} kontextfrei?
Definieren Sie die Sprache als . Mit anderen Worten enthält die Wörter, die nicht als ein Wort ausgedrückt werden können, das zweimal wiederholt wird. Ist kontextfrei oder nicht?LLLL={a,b}∗−{ww∣w∈{a,b}∗}L={a,b}∗−{ww∣w∈{a,b}∗}L = \{a, b\}^* - \{ww\mid w \in \{a, b\}^*\}LLLLLL Ich habe versucht, mit zu schneiden , aber ich kann immer noch nichts …
4
Brückensätze für Gruppentheorie und formale Sprachen
Gibt es eine natürliche oder bemerkenswerte Möglichkeit, mathematische Gruppen und formale CS- Sprachen oder ein anderes zentrales CS-Konzept, z. B. Turing-Maschinen , in Beziehung zu setzen oder zu verknüpfen ? Ich suche Referenzen / Bewerbungen. Beachten Sie jedoch, dass mir die Verbindung zwischen Halbgruppen und CS-Sprachen bekannt ist (nämlich über …
1
Was ist Semantik?
Es gibt viele beliebte Sprachen. Informatiker sagen uns jedoch, dass wir, um das Verhalten von Programmen in diesen Sprachen definitiv und eindeutig verstehen zu können, diese in eine andere, gut verstandene Sprache übersetzen müssen (z. B. um ihre Identität zu beweisen). Sie nennen solche Sprache "eine Semantik". Autoren schlagen eine …
2
Abschluss gegen rechten Quotienten mit einer festen Sprache
Ich würde mich sehr über Ihre Hilfe bei Folgendem freuen: Für jedes feste L2L2L_2 ich entscheiden, ob es einen Abschluss unter den folgenden Operatoren gibt: Ar(L)={x∣∃y∈L2:xy∈L}Ar(L)={x∣∃y∈L2:xy∈L}A_r(L)=\{x \mid \exists y \in L_2 : xy \in L\} .Al(L)={x∣∃y∈L:xy∈L2}Al(L)={x∣∃y∈L:xy∈L2}A_l(L)=\{x \mid \exists y \in L : xy \in L_2\} Die relevanten Optionen sind: Reguläre …
4
Warum gibt es in Regexes keine Permutation? (Auch wenn reguläre Sprachen dazu in der Lage zu sein scheinen)
Das Problem Es gibt keine einfache Möglichkeit, eine Permutation mit einem regulären Ausdruck zu erhalten. Permutation: Ein Wort ("aabc") in eine andere Reihenfolge bringen, ohne die Anzahl oder Art der Buchstaben zu ändern.w = x1… X.nw=x1…xnw=x_1…x_n Regex: Regulärer Ausdruck. Zur Überprüfung: "Regex-Permutationen ohne Wiederholung" Die Antwort erstellt JavaScript-Code anstelle eines …
1
Kann POSIX BRE alle regulären Sprachen ausdrücken?
Es scheint, dass "Basic Regular Expressions", wie sie in POSIX.1-2008 definiert sind, keine Alternative unterstützen a|b(obwohl einige grep-Implementierungen die maskierte Version erkennen \|). Bedeutet dies, dass POSIX BRE weniger Ausdruckskraft hat als ein endlicher Automat, da die regulären Sprachen per Definition unter Union geschlossen sind? Oder gibt es eine Möglichkeit, …
3
Reguläre Sprachen, die nicht mit nur 2 Regex-Operationen ausgedrückt werden können
Ich dachte, alle regulären Sprachen könnten mit regulären Ausdrücken ausgedrückt werden (wenn eine Sprache regulär ist, kann sie mit regulärem Ausdruck ausgedrückt werden), aber mir wurde gesagt, dass Sie alle drei regulären Operationen (Verkettung, Vereinigung und Stern) dafür benötigen halten. Mir wurde zum Beispiel gesagt, dass es eine reguläre Sprache …
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.